aboutsummaryrefslogtreecommitdiff
path: root/test-suite/output/QArithSyntax.out
blob: 9b5c076cb49dc6245de020e40c3328a3fcb90aaa (plain)
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
eq_refl : 1.02 = 1.02
     : 1.02 = 1.02
eq_refl : 10.2 = 10.2
     : 10.2 = 10.2
eq_refl : 1020 = 1020
     : 1020 = 1020
eq_refl : 102 = 102
     : 102 = 102
eq_refl : 1.02 = 1.02
     : 1.02 = 1.02
eq_refl : -1e-4 = -1e-4
     : -1e-4 = -1e-4
eq_refl : -0.50 = -0.50
     : -0.50 = -0.50
eq_refl : -26 = -26
     : -26 = -26
eq_refl : 2860 # 256 = 2860 # 256
     : 2860 # 256 = 2860 # 256
eq_refl : -6882 = -6882
     : -6882 = -6882
eq_refl : 2860 # 64 = 2860 # 64
     : 2860 # 64 = 2860 # 64
eq_refl : 2860 = 2860
     : 2860 = 2860
eq_refl : -2860 # 1024 = -2860 # 1024
     : -2860 # 1024 = -2860 # 1024