Fix parsing of (Struct ...) types.

This was a regression that appeared in 5.3.1 (cherry picked from commit 3eb4a75)
frenchy64 · Jul 8, 2013 · 691c156 · 691c156
1 parent 4ccb8bf
commit 691c156
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 2 deletions.
diff --git a/collects/tests/typed-racket/fail/bad-struct-top.rkt b/collects/tests/typed-racket/fail/bad-struct-top.rkt
@@ -0,0 +1,7 @@
+#;
+(exn:pred #rx"Argument to Struct must be a structure")
+#lang typed/racket
+
+;; Make sure `Struct` constructor rejects bad arguments
+(: x (Struct Integer))
+
diff --git a/collects/typed-racket/private/parse-type.rkt b/collects/typed-racket/private/parse-type.rkt
@@ -170,9 +170,9 @@
        (add-disappeared-use #'kw)
        (let ([v (parse-type #'t)])
          (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)
-              (make-Instance (Un))]))]
+              (make-StructTop (Un))]))]
       [((~and kw t:Instance) t)
        (add-disappeared-use #'kw)
        (let ([v (parse-type #'t)])