Provide some names

svn: r11114
2008-08-06 20:48:02 +00:00 · 2008-08-06 20:48:02 +00:00 · 24a98cf061
commit 24a98cf061
parent 44e0c09d75
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]