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

Parse-type fix for Instance types

Browse Source
This commit is contained in:
Asumu Takikawa 2014-01-20 17:08:07 -05:00
parent ee3e83856c
commit 00bb219642
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -294,7 +294,7 @@
(Un)])] (Un)])]
[(:Instance^ t) [(:Instance^ t)
(let ([v (parse-type #'t)]) (let ([v (parse-type #'t)])
(if (not (or (F? v) (Mu? v) (Class? v) (Union? v) (Error? v))) (if (not (or (F? v) (Mu? v) (Name? v) (Class? v) (Error? v)))
(begin (tc-error/delayed "Argument to Instance must be a class type, got ~a" v) (begin (tc-error/delayed "Argument to Instance must be a class type, got ~a" v)
(make-Instance (Un))) (make-Instance (Un)))
(make-Instance v)))] (make-Instance v)))]