fix PR 10735

svn: r18419
2010-03-01 22:51:42 +00:00 · 2010-03-01 22:51:42 +00:00 · 33db456f9e
commit 33db456f9e
parent 12257912e3
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 ...)