1-- in.cue --
2range1: {
3 min: *1 | int
4 range: >min
5 range: 8
6}
7range2: {
8 min: *1 | int
9 max: int & >min
10}
11rg: range2 & {
12 // min: 1
13 max: 8
14}
15-- out/eval/stats --
16Leaks: 0
17Freed: 16
18Reused: 11
19Allocs: 5
20Retain: 0
21
22Unifications: 10
23Conjuncts: 22
24Disjuncts: 16
25-- out/eval --
26(struct){
27 range1: (struct){
28 min: (int){ |(*(int){ 1 }, (int){ int }) }
29 range: (int){ 8 }
30 }
31 range2: (struct){
32 min: (int){ |(*(int){ 1 }, (int){ int }) }
33 max: (int){ &(>1, int) }
34 }
35 rg: (struct){
36 min: (int){ |(*(int){ 1 }, (int){ int }) }
37 max: (int){ 8 }
38 }
39}
40-- out/compile --
41--- in.cue
42{
43 range1: {
44 min: (*1|int)
45 range: >〈0;min〉
46 range: 8
47 }
48 range2: {
49 min: (*1|int)
50 max: (int & >〈0;min〉)
51 }
52 rg: (〈0;range2〉 & {
53 max: 8
54 })
55}
View as plain text