Fix type in error case

original commit: e0acdf1fc11d9e4a713a7ad2b948641197cb1b0a
2013-05-31 18:44:02 -04:00 · 2013-05-31 18:44:02 -04:00 · f9efcae75e
commit f9efcae75e
parent 51c5197974
1 changed files with 1 additions and 1 deletions
--- a/collects/typed-racket/private/parse-type.rkt
+++ b/collects/typed-racket/private/parse-type.rkt
@ -191,7 +191,7 @@
         (match (resolve v)
           [(and s (? Struct?)) (make-StructTop s)]
           [_ (tc-error/delayed "Argument to Struct must be a structure type, got ~a" v)
-              (make-StructTop (Un))]))]
+              (Un)]))]
      [((~and kw t:Instance) t)
       (add-disappeared-use #'kw)
       (let ([v (parse-type #'t)])