1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
|
-- a1.cue --
package bug
y: fact2.uc
x: fact1.uc
-- a2.cue --
package bug
x: fact1.uc
y: fact2.uc
-- x.cue --
package bug
fact1: #MCS & {
lc: fact2.lc
}
fact2: #MCS & {
lc: "foo"
}
#MCS: #MultiCaseString
#MultiCaseString: {
lc: string
uc: lc
}
-- out/compile --
--- a1.cue
{
y: 〈0;fact2〉.uc
x: 〈0;fact1〉.uc
}
--- a2.cue
{
x: 〈0;fact1〉.uc
y: 〈0;fact2〉.uc
}
--- x.cue
{
fact1: (〈0;#MCS〉 & {
lc: 〈1;fact2〉.lc
})
fact2: (〈0;#MCS〉 & {
lc: "foo"
})
#MCS: 〈0;#MultiCaseString〉
#MultiCaseString: {
lc: string
uc: 〈0;lc〉
}
}
-- out/eval/stats --
Leaks: 0
Freed: 15
Reused: 8
Allocs: 7
Retain: 21
Unifications: 15
Conjuncts: 45
Disjuncts: 31
-- out/evalalpha --
(struct){
y: (string){ "foo" }
x: (string){ "foo" }
fact1: (#struct){
lc: (string){ "foo" }
uc: (string){ "foo" }
}
fact2: (#struct){
lc: (string){ "foo" }
uc: (string){ "foo" }
}
#MCS: ~(#MultiCaseString)
#MultiCaseString: (#struct){
lc: (string){ string }
uc: (string){ string }
}
}
-- diff/-out/evalalpha<==>+out/eval --
diff old new
--- old
+++ new
@@ -9,10 +9,7 @@
lc: (string){ "foo" }
uc: (string){ "foo" }
}
- #MCS: (#struct){
- lc: (string){ string }
- uc: (string){ string }
- }
+ #MCS: ~(#MultiCaseString)
#MultiCaseString: (#struct){
lc: (string){ string }
uc: (string){ string }
-- out/eval --
(struct){
y: (string){ "foo" }
x: (string){ "foo" }
fact1: (#struct){
lc: (string){ "foo" }
uc: (string){ "foo" }
}
fact2: (#struct){
lc: (string){ "foo" }
uc: (string){ "foo" }
}
#MCS: (#struct){
lc: (string){ string }
uc: (string){ string }
}
#MultiCaseString: (#struct){
lc: (string){ string }
uc: (string){ string }
}
}
|
