suzanne.soy/macrotypes
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

more fail/toplvl in tests

Browse Source
This commit is contained in:
Stephen Chang 2017-03-21 19:44:14 -04:00
parent bff10f9f03
commit a8f908ff19
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
turnstile/examples/tests/ext-stlc-tests.rkt
View File

@ -156,9 +156,8 @@
(typecheck-fail (countdown "10") #:with-msg "expected Int, given String")
;; inconsistent define
(typecheck-fail (define (bad -> Int) (void))
#:with-msg "expected Int, given Unit"
#:ctx top-level)
(typecheck-fail/toplvl (define (bad -> Int) (void))
#:with-msg "expected Int, given Unit")
;; tests from stlc+lit-tests.rkt --------------------------
; most should pass, some failing may now pass due to added types/forms