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

Refactor to avoid duplicated code.

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

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

@ -3,7 +3,7 @@
(require (for-syntax racket/base
;; these requires are needed since their code
;; appears in the residual program
"typecheck/renamer.rkt" "types/type-table.rkt")
"typecheck/renamer.rkt" "types/type-table.rkt" profile)
"private/base-special-env.rkt" )
(provide (rename-out [module-begin #%module-begin]
@ -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)
(define-syntax-rule (drivers [name sym] ...)
(begin
(define-syntax (name stx)
(do-standard-inits)
((dynamic-require 'typed-scheme/core 'mb-core) stx))
((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])