From 34d98f067eff63d9f10031f6b2b42103d2e3db51 Mon Sep 17 00:00:00 2001 From: Bruce Hill Date: Thu, 5 Sep 2024 12:41:13 -0400 Subject: For big or arbitrarily big integers not known to be constant, do full Int$plus(a,b) logic so it's definitely correct and doesn't error. --- test/reductions.tm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'test') diff --git a/test/reductions.tm b/test/reductions.tm index 72db3d1b..47f1612a 100644 --- a/test/reductions.tm +++ b/test/reductions.tm @@ -18,8 +18,8 @@ func main(): = Foo(x=0, y=-999) !! (or) and (and) have early out behavior: - >> (or) i == 3 for i in 99999999999999999 + >> (or) i == 3 for i in 9999999999999999999999999999 = yes - >> (and) i < 10 for i in 99999999999999999 + >> (and) i < 10 for i in 9999999999999999999999999999 = no -- cgit v1.2.3