fix PR 10735

svn: r18419 original commit: 33db456f9ee83fe38e97ac1c006c5bb3dd0407c2
2010-03-01 22:51:42 +00:00 · 2010-03-01 22:51:42 +00:00 · 9eabaf2109
commit 9eabaf2109
parent ff6ad0c29d
1 changed files with 3 additions and 1 deletions
--- 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 ...)