fix random types (#1301)

racket · Feb 7, 2023 · 246173a · 246173a
1 parent 595ecbe
commit 246173a
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/typed-racket-lib/typed-racket/base-env/base-env.rkt b/typed-racket-lib/typed-racket/base-env/base-env.rkt
@@ -92,7 +92,7 @@
 
 ;; Section 4.3.2.7 (Random Numbers)
 [random
-  (cl->* (->opt -Int -Int [-Pseudo-Random-Generator] -NonNegFixnum)
+  (cl->* (->opt -Int -Int [-Pseudo-Random-Generator] -Int)
          (->opt -Int [-Pseudo-Random-Generator] -NonNegFixnum)
          (->opt [-Pseudo-Random-Generator] -Flonum))]
 

diff --git a/typed-racket-test/unit-tests/typecheck-tests.rkt b/typed-racket-test/unit-tests/typecheck-tests.rkt
@@ -2182,7 +2182,9 @@
                 (pseudo-random-generator->vector pg))
               (-vec* -PosInt -PosInt -PosInt -PosInt -PosInt -PosInt))
         (tc-e (random 1 5 (make-pseudo-random-generator))
-              -NonNegFixnum)
+              -Integer)
+        (tc-e (random -1 -5 (make-pseudo-random-generator))
+              -Integer)
 
         ;Structure Type Properties
         (tc-e (make-struct-type-property 'prop)