Required in wrong module.
This commit is contained in:
parent
f9e3418d8a
commit
439e0ba650
|
@ -3,8 +3,7 @@
|
|||
;; Defines a language analogous to #lang racket/gui but typed
|
||||
|
||||
(require "gui/base.rkt"
|
||||
typed/racket
|
||||
typed-racket/private/oc-button)
|
||||
typed/racket)
|
||||
|
||||
(provide (all-from-out "gui/base.rkt")
|
||||
(all-from-out typed/racket))
|
||||
|
@ -17,6 +16,8 @@
|
|||
#:language-info #(typed-racket/language-info get-info ())
|
||||
#:info make-info
|
||||
|
||||
(require typed-racket/private/oc-button)
|
||||
|
||||
;; see typed/racket/lang/reader.rkt
|
||||
(define (make-info key default use-default)
|
||||
(case key
|
||||
|
|
Loading…
Reference in New Issue
Block a user