[honu] provide #%top and #%datum for standard honu

2011-11-22 14:02:41 -07:00 · 2011-11-22 14:02:41 -07:00 · 8bb8ac5859
commit 8bb8ac5859
parent dc16449dd5
1 changed files with 3 additions and 3 deletions
--- a/collects/honu/core/main.rkt
+++ b/collects/honu/core/main.rkt
@ -72,6 +72,8 @@
                       true false
                       withSyntax
                       mergeSyntax
+                       #%top
+                       #%datum
                       ))))

 (require "private/honu-typed-scheme.rkt")
@ -80,7 +82,5 @@
 (standard-honu 1)
 (standard-honu 0)

-(provide #%top
-         #%datum
-         (rename-out [#%dynamic-honu-module-begin #%module-begin]
+(provide (rename-out [#%dynamic-honu-module-begin #%module-begin]
                     [honu-top-interaction #%top-interaction]))