From 69474a750e874eede72164aaa7e96df25c650fbb Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 14 Oct 2008 15:58:34 +0000 Subject: [PATCH] Better error message for extra ->. svn: r12034 original commit: 453deb8a5d47b8cfd5ea849bba46fa51d9de8a5e --- collects/typed-scheme/private/parse-type.ss | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/collects/typed-scheme/private/parse-type.ss b/collects/typed-scheme/private/parse-type.ss index 07adfd9e..c04f26dc 100644 --- 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")]