# Tests arithmetic operations including division producing floats and
# conflicting types (int & float).
-- in.cue --
v1: 1.0T / 2.0   @test(eq, 5.0e+11)
v2: 2.0 == 2     @test(eq, true)
n1: 1            @test(eq, 1) @test(kind=int)
v5: 2.0 / n1     @test(eq, 2.0)
v6: 1.0 / 1.0   @test(eq, 1.0) @test(kind:todo=int, hint="may consider this")
e2: int & 4.0/2.0   @test(err, code=eval, contains="conflicting values int and 2.0", pos=[0:5, 0:11])
-- out/errors.txt --
[eval] e2: conflicting values int and 2.0 (mismatched types int and float):
    ./in.cue:6:5
    ./in.cue:6:11
-- out/eval/stats --
Leaks:  0
Freed:  7
Reused: 0
Allocs: 7
Retain: 0

Unifications: 7
Conjuncts:    8
Disjuncts:    0
