Better error message for extra ->.

svn: r12034 original commit: 453deb8a5d47b8cfd5ea849bba46fa51d9de8a5e
2008-10-14 15:58:34 +00:00 · 2008-10-14 15:58:34 +00:00 · 69474a750e
commit 69474a750e
parent d2c755f005
1 changed files with 4 additions and 1 deletions
--- a/collects/typed-scheme/private/parse-type.ss
+++ b/collects/typed-scheme/private/parse-type.ss
@ -211,8 +211,11 @@
          (add-type-name-reference #'id)
          ;(printf "found a type name ~a~n" #'id)
          (make-Name #'id)]
+         [(eq? '-> (syntax-e #'id))
+          (tc-error/delayed "Incorrect use of -> type constructor")
+          Univ]
         [else
-          (tc-error/delayed "unbound type name ~a" (syntax-e #'id))
+          (tc-error/delayed "Unbound type name ~a" (syntax-e #'id))
          Univ])]

      [(All . rest) (eq? (syntax-e #'All) 'All) (tc-error "All: bad syntax")]