diff --git a/bracket/bracket-lang.rkt b/bracket/bracket-lang.rkt index b91a7fa7c..8efdda327 100644 --- a/bracket/bracket-lang.rkt +++ b/bracket/bracket-lang.rkt @@ -4,9 +4,11 @@ (error-print-source-location #t) (require (submod "bracket.rkt" symbolic-application) - (submod "bracket.rkt" bracket)) + (submod "bracket.rkt" bracket) + "unparse.rkt") -(provide (all-from-out racket)) +(provide (all-from-out racket) + unparse) (provide (all-defined-out) (for-syntax #%module-begin) #%module-begin) diff --git a/bracket/bracket.rkt b/bracket/bracket.rkt index f086e1bca..6ba45b90a 100644 --- a/bracket/bracket.rkt +++ b/bracket/bracket.rkt @@ -789,7 +789,6 @@ - (module bracket racket (require (submod ".." number-theory) (submod ".." expression) @@ -1222,6 +1221,9 @@ ) + + + (module test racket (require (submod ".." symbolic-application) (submod ".." bracket) @@ -1235,7 +1237,7 @@ (define d 'd) (define f 'f) - (displayln "TEST - Running tests in mpl.rkt") + (displayln "TEST - Running tests in bracket.rkt") ;;; Kind (check-equal? (Kind 1) 'integer)