Skip to content

Commit c47b668

Browse files
committed
add tests
1 parent aa9f5a3 commit c47b668

File tree

1 file changed

+13
-0
lines changed

1 file changed

+13
-0
lines changed

typed-racket-test/unit-tests/typecheck-tests.rkt

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1329,6 +1329,19 @@
13291329
(define: x : Any 7)
13301330
(if (box? x) (unbox x) (+ 1)))
13311331
Univ]
1332+
[tc-e (if (zero? (random 2)) (box "hello") (box 'hello))
1333+
(-box -Bottom (t:Un -String -Symbol))]
1334+
[tc-e (unbox (if (zero? (random 2)) (box "hello") (box 'hello)))
1335+
(t:Un -String -Symbol)]
1336+
[tc-e (if (zero? (random 2)) ((inst box Natural) 3) ((inst box Integer) -5))
1337+
(-box -Nat -Int)]
1338+
[tc-e (unbox (if (zero? (random 2)) ((inst box Natural) 3) ((inst box Integer) -5)))
1339+
-Int]
1340+
[tc-e (set-box!
1341+
(if (zero? (random 2)) ((inst box Natural) 3) ((inst box Integer) -5))
1342+
1)
1343+
-Void]
1344+
[tc-err (set-box! (if (zero? (random 2)) ((inst box Natural) 3) ((inst box Integer) -5)) -1)]
13321345
[tc-e (floor 1/2) -Nat]
13331346
[tc-e (ceiling 1/2) -PosInt]
13341347
[tc-e (truncate 0.5) -NonNegFlonum]

0 commit comments

Comments
 (0)