Added #%top-interaction (not the right one, though)
This commit is contained in:
parent
f907f59b32
commit
d949cf9606
5
lang.rkt
5
lang.rkt
|
@ -2,4 +2,7 @@
|
||||||
;; Forked from scribble-lib/scribble/lp/lang/lang2.rkt
|
;; Forked from scribble-lib/scribble/lp/lang/lang2.rkt
|
||||||
(require "private/common.rkt")
|
(require "private/common.rkt")
|
||||||
|
|
||||||
(provide (rename-out [module-begin/doc #%module-begin]))
|
(provide (rename-out [module-begin/doc #%module-begin])
|
||||||
|
;; TODO: this is the #%top-interaction from racket/base, not from the
|
||||||
|
;; user-specified language.
|
||||||
|
#%top-interaction)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user