From 13a8c13f7495e8237e93d2cd8a88f2e04c54ece6 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 20 May 2008 20:43:43 +0000 Subject: [PATCH] Delay type parsing error. svn: r9912 original commit: 6d87dbc01683f794eb803117c4cc8a367915c600 --- collects/typed-scheme/private/parse-type.ss | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/typed-scheme/private/parse-type.ss b/collects/typed-scheme/private/parse-type.ss index b262f0b3..72e51cd5 100644 --- a/collects/typed-scheme/private/parse-type.ss +++ b/collects/typed-scheme/private/parse-type.ss @@ -195,7 +195,8 @@ (tc-error "Wrong number of arguments to type ~a, expected ~a but got ~a" rator (length ns) (length args))) (instantiate-poly rator args)] [(Mu: _ _) (loop (unfold rator) args)] - [_ (tc-error "Type ~a cannot be applied, arguments were: ~a" rator args)])) + [_ (tc-error/delayed "Type ~a cannot be applied, arguments were: ~a" rator args) + Univ])) #; (let ([ty (parse-type #'id)]) #;(printf "ty is ~a" ty)