Add an extra test for new random case

2016-04-07 17:00:13 -04:00 · 2016-04-07 17:00:13 -04:00 · acef58a5d0
commit acef58a5d0
parent 7e3178798b
1 changed files with 2 additions and 0 deletions
--- a/typed-racket-test/unit-tests/typecheck-tests.rkt
+++ b/typed-racket-test/unit-tests/typecheck-tests.rkt
@ -1942,6 +1942,8 @@
        (tc-e (let: ((pg : Pseudo-Random-Generator (make-pseudo-random-generator)))
                (pseudo-random-generator->vector pg))
              (make-HeterogeneousVector (list -PosInt -PosInt -PosInt -PosInt -PosInt -PosInt)))
+        (tc-e (random 1 5 (make-pseudo-random-generator))
+              -NonNegFixnum)

        ;Structure Type Properties
        (tc-e (make-struct-type-property 'prop)