Provide some names

svn: r11114 original commit: 24a98cf0618fc3b0593c4a355f6355064a30d404
2008-08-06 20:48:02 +00:00 · 2008-08-06 20:48:02 +00:00 · eda70bdaf9
commit eda70bdaf9
parent fee0250ffb
1 changed files with 3 additions and 0 deletions
--- a/collects/typed-scheme/typed-scheme.ss
+++ b/collects/typed-scheme/typed-scheme.ss
@ -23,6 +23,9 @@

 (provide-tnames)
 (provide-extra-tnames)
+(require-extra-tnames "private/base-types.ss")
+(provide (rename-out [All ∀]
+                     [mu Rec]))


 (provide (rename-out [module-begin #%module-begin]