From 33db456f9ee83fe38e97ac1c006c5bb3dd0407c2 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 1 Mar 2010 22:51:42 +0000 Subject: [PATCH] fix PR 10735 svn: r18419 --- collects/typed-scheme/private/parse-type.ss | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/typed-scheme/private/parse-type.ss b/collects/typed-scheme/private/parse-type.ss index a552956a4a..e11a5afc4e 100644 --- a/collects/typed-scheme/private/parse-type.ss +++ b/collects/typed-scheme/private/parse-type.ss @@ -291,8 +291,10 @@ (tc-error "Union: bad syntax")] [(t:Vectorof . rest) (tc-error "Vectorof: bad syntax")] - [(t:mu . rest) + [((~and (~datum mu) t:mu) . rest) (tc-error "mu: bad syntax")] + [(t:mu . rest) + (tc-error "Rec: bad syntax")] [(t ... t:-> . rest) (tc-error "->: bad syntax")] [(id arg args ...)