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

delay type error messages for type parsing.

Browse Source 
svn: r9410

original commit: 029e4eb86eeea75b3d2217e4c1c6948f88a1ba73
This commit is contained in:
Sam Tobin-Hochstadt 2008-04-22 22:05:34 +00:00
parent 39d43ae233
commit 0ecdc4acab
1 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
collects/typed-scheme/private/parse-type.ss
View File

@ -49,9 +49,10 @@
[(Instance t)
(eq? (syntax-e #'Instance) 'Instance)
(let ([v (parse-type #'t)])
(unless (or (Mu? v) (Class? v) (Union? v))
(tc-error "Argument to Instance must be a class type, got ~a" v))
(make-Instance v))]
(if (or (Mu? v) (Class? v) (Union? v))
(begin (tc-error/delayed "Argument to Instance must be a class type, got ~a" v)
(make-Instance (Un)))
(make-Instance v)))]
[(Tuple ts ...)
(or (eq? (syntax-e #'Tuple) 'Tuple)
(eq? (syntax-e #'Tuple) 'List))
@ -165,7 +166,8 @@
(add-type-name-reference #'id)
(make-Name #'id)]
[else
(tc-error "unbound type ~a" (syntax-e #'id))])]
(tc-error/delayed "unbound type ~a" (syntax-e #'id))
Univ])]
[(All . rest) (eq? (syntax-e #'All) 'All) (tc-error "All: bad syntax")]
[(Opaque . rest) (eq? (syntax-e #'Opaque) 'Opqaue) (tc-error "Opaque: bad syntax")]