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

Fix type in error case

Browse Source
This commit is contained in:
Asumu Takikawa 2013-05-31 18:44:02 -04:00 committed by Vincent St-Amour
parent b5f7a7ffb2
commit e0acdf1fc1
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-racket/private/parse-type.rkt
View File

@ -191,7 +191,7 @@
(match (resolve v) (match (resolve v)
[(and s (? Struct?)) (make-StructTop s)] [(and s (? Struct?)) (make-StructTop s)]
[_ (tc-error/delayed "Argument to Struct must be a structure type, got ~a" v) [_ (tc-error/delayed "Argument to Struct must be a structure type, got ~a" v)
(make-StructTop (Un))]))] (Un)]))]
[((~and kw t:Instance) t) [((~and kw t:Instance) t)
(add-disappeared-use #'kw) (add-disappeared-use #'kw)
(let ([v (parse-type #'t)]) (let ([v (parse-type #'t)])