Some integers were too large for truncate-int to truncate

MichaelBurge · May 3, 2018 · 89f49c9 · 89f49c9
1 parent 4948d51
commit 89f49c9
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/tests/0044-negative-7.pmd b/tests/0044-negative-7.pmd
@@ -0,0 +1,7 @@
+#lang pyramid
+
+(require psl "primitives.pmd")
+
+(set-test-result! 0)
+
+(%#-box (%#-bitshiftl (%#-bitshiftl (unbox 1) (unbox 255)) (unbox 2)))
diff --git a/utils.rkt b/utils.rkt
@@ -152,6 +152,7 @@
 
 (: truncate-int (-> Integer Nonnegative-Integer))
 (define (truncate-int x)
+  (set! x (modulo x WORDLIMIT))
   (assert-natural
    (if (>= x WORDLIMIT)
        (- x WORDLIMIT)