suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Refactor to avoid duplicated code.

Browse Source 
original commit: 05d9e1a871de7d68d5ae878b7dc1b3bdd7be28fb
This commit is contained in:
Sam Tobin-Hochstadt 2011-04-18 20:50:15 -04:00
parent 0c42c44942
commit d5d338ad2f
1 changed files with 9 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
collects/typed-scheme/typed-scheme.rkt
View File

@ -3,8 +3,8 @@
(require (for-syntax racket/base
;; these requires are needed since their code
;; appears in the residual program
"typecheck/renamer.rkt" "types/type-table.rkt")
"private/base-special-env.rkt")
"typecheck/renamer.rkt" "types/type-table.rkt" profile)
"private/base-special-env.rkt" )
(provide (rename-out [module-begin #%module-begin]
[top-interaction #%top-interaction]
@ -21,14 +21,11 @@
((dynamic-require 'typed-scheme/private/base-env 'init))
((dynamic-require 'typed-scheme/private/base-env-numeric 'init)))
(define-syntax (module-begin stx)
(do-standard-inits)
((dynamic-require 'typed-scheme/core 'mb-core) stx))
(define-syntax-rule (drivers [name sym] ...)
(begin
(define-syntax (name stx)
(do-standard-inits)
((dynamic-require 'typed-scheme/core 'sym) stx))
...))
(define-syntax (top-interaction stx)
(do-standard-inits)
((dynamic-require 'typed-scheme/core 'ti-core) stx))
(define-syntax (with-type stx)
(do-standard-inits)
((dynamic-require 'typed-scheme/core 'wt-core) stx))
(drivers [module-begin mb-core] [top-interaction ti-core] [with-type wt-core])