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

Add checks for failing to parse types.

Browse Source 
original commit: 4683be8793bdbd3e16e62dfbdd5d2be54cce9c05
This commit is contained in:
Eric Dobson 2013-03-11 22:53:29 -07:00
parent 6df840fe8e
commit 61a2a93e40
1 changed files with 13 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
collects/tests/typed-racket/unit-tests/parse-type-tests.rkt
View File

@ -43,7 +43,16 @@
(parse-type (syntax ty))))]))
(define-syntax (pt-test stx)
(syntax-case stx ()
(syntax-case stx (FAIL)
[(_ FAIL ty-stx)
(syntax/loc stx (pt-test FAIL ty-stx initial-tvar-env))]
[(_ FAIL ty-stx tvar-env)
(quasisyntax/loc stx
(test-exn #,(format "~a" (syntax->datum #'ty-stx))
exn:fail:syntax?
(parameterize ([current-tvars tvar-env]
[delay-errors? #f])
(lambda () (parse-type (quote-syntax ty-stx))))))]
[(_ ts tv) (syntax/loc stx (pt-test ts tv initial-tvar-env))]
[(_ ty-stx ty-val tvar-env)
(quasisyntax/loc
@ -66,6 +75,9 @@
(define (parse-type-tests)
(pt-tests
"parse-type tests"
[FAIL UNBOUND]
[FAIL List]
[FAIL (All (A) (List -> Boolean))]
[Number N]
[Any Univ]
[(List Number String) (-Tuple (list N -String))]