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
|
#name: arithmetic
#evalPartial
-- in.cue --
v1: 1.0T / 2.0
v2: 2.0 == 2
n1: 1
v5: 2.0 / n1
v6: 1.0 / 1.0
e2: int & 4.0/2.0
-- out/def --
v1: 5.0000000000e+11
v2: true
n1: 1
v5: 2.0
v6: 1.
e2: _|_ // conflicting values int and (4.0 / 2.0) (mismatched types int and float)
-- out/legacy-debug --
<0>{v1: 5.0000000000e+11, v2: true, n1: 1, v5: 2.0, v6: 1., e2: _|_((int & (4.0 / 2.0)):conflicting values int and (4.0 / 2.0) (mismatched types int and float))}
-- out/compile --
--- in.cue
{
v1: (1000000000000 / 2.0)
v2: (2.0 == 2)
n1: 1
v5: (2.0 / 〈0;n1〉)
v6: (1.0 / 1.0)
e2: (int & (4.0 / 2.0))
}
-- out/eval/stats --
Leaks: 0
Freed: 7
Reused: 5
Allocs: 2
Retain: 0
Unifications: 7
Conjuncts: 8
Disjuncts: 7
-- out/eval --
Errors:
e2: conflicting values int and 2.0 (mismatched types int and float):
./in.cue:6:5
./in.cue:6:11
Result:
(_|_){
// [eval]
v1: (float){ 5.0E+11 }
v2: (bool){ true }
n1: (int){ 1 }
v5: (float){ 2.0 }
v6: (float){ 1.0 }
e2: (_|_){
// [eval] e2: conflicting values int and 2.0 (mismatched types int and float):
// ./in.cue:6:5
// ./in.cue:6:11
}
}
|
