aboutsummaryrefslogtreecommitdiff
path: root/test-suite/output/QArithSyntax.out
diff options
context:
space:
mode:
authorHugo Herbelin2020-05-15 16:51:29 +0200
committerHugo Herbelin2020-05-15 16:51:29 +0200
commita5c9ad83071c99110fed464a0b9a0f5e73f1be9b (patch)
tree4e436ada97fc8e74311e8c77312e164772957ac9 /test-suite/output/QArithSyntax.out
parentb5b6e2d4c8347cb25da6f827a6b6f06cb0f566e5 (diff)
parent31f5e89eaefcff04a04850d77b0c83cb24602f98 (diff)
Merge PR #11948: Hexadecimal numerals
Reviewed-by: JasonGross Ack-by: Zimmi48 Ack-by: herbelin
Diffstat (limited to 'test-suite/output/QArithSyntax.out')
-rw-r--r--test-suite/output/QArithSyntax.out12
1 files changed, 12 insertions, 0 deletions
diff --git a/test-suite/output/QArithSyntax.out b/test-suite/output/QArithSyntax.out
index fe6a1d25c6..9b5c076cb4 100644
--- a/test-suite/output/QArithSyntax.out
+++ b/test-suite/output/QArithSyntax.out
@@ -12,3 +12,15 @@ 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