Skip to content

Commit

Permalink
this seems to work so far
Browse files Browse the repository at this point in the history
  • Loading branch information
AlexKnauth committed Oct 20, 2014
1 parent 2fd9c8f commit da05d39
Showing 1 changed file with 9 additions and 7 deletions.
16 changes: 9 additions & 7 deletions a-typed-lang/main.rkt
@@ -1,18 +1,20 @@
#lang typed-racket/minimal

(require typed/racket
a-typed-lang/more
;a-typed-lang/more ; for some reason this can't be here
(only-in typed/racket
[#%module-begin tr:module-begin]
[require tr:require]))

(provide (except-out (all-from-out typed/racket) #%module-begin)
(rename-out [module-begin #%module-begin])
(all-from-out a-typed-lang/more))
;(all-from-out a-typed-lang/more)
)

(define-syntax module-begin
(syntax-rules (require)
[(_ decl ...)
(tr:module-begin
(require a-typed-lang/more)
decl ...)]))
(lambda (stx)
(syntax-case stx ()
[(_ decl ...)
#`(tr:module-begin
#,(datum->syntax stx '(require a-typed-lang/more))
decl ...)])))

0 comments on commit da05d39

Please sign in to comment.