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

Split out do-standard-inits.

Browse Source 
original commit: eeacfc57ffa59d48e538831fffe3f3184a27fc19
This commit is contained in:
Eric Dobson 2013-12-15 09:35:31 -08:00
parent c8c5c12ae2
commit cbce6e45b9
2 changed files with 40 additions and 31 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

38
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/standard-inits.rkt Normal file
View File

@ -0,0 +1,38 @@
#lang racket/base
(require
racket/base racket/lazy-require "env/env-req.rkt"
"utils/timing.rkt" ;; only for timing/debugging
)
(provide do-standard-inits)
(lazy-require
[typed-racket/base-env/base-env ((init init-base-env))]
[typed-racket/base-env/base-env-numeric ((init init-base-env-numeric))]
[typed-racket/base-env/base-structs (initialize-structs)]
[typed-racket/base-env/base-env-indexing (initialize-indexing)]
[typed-racket/base-env/base-special-env (initialize-special)]
[typed-racket/base-env/base-contracted (initialize-contracted)]
[(submod typed-racket/base-env/base-types initialize) (initialize-type-names)])
(define initialized #f)
(define (do-standard-inits)
(unless initialized
(do-time "Starting initialization")
(initialize-structs)
(do-time "Finshed base-structs")
(initialize-indexing)
(do-time "Finshed base-env-indexing")
(init-base-env)
(do-time "Finshed base-env")
(init-base-env-numeric)
(do-time "Finshed base-env-numeric")
(initialize-special)
(do-time "Finished base-special-env")
(initialize-contracted)
(do-time "Finished base-contracted")
(initialize-type-names)
(do-time "Finished base-types")
(set! initialized #t))
(do-requires))

33
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typed-racket.rkt
View File

@ -1,7 +1,8 @@
#lang racket/base
(require
(for-syntax racket/base racket/lazy-require "env/env-req.rkt")
(for-syntax racket/base racket/lazy-require
"standard-inits.rkt")
(for-syntax "utils/timing.rkt") ;; only for timing/debugging
;; the below requires are needed since they provide identifiers
;; that may appear in the residual program
@ -15,36 +16,6 @@
with-type
(for-syntax do-standard-inits))
(begin-for-syntax
(lazy-require
[typed-racket/base-env/base-env ((init init-base-env))]
[typed-racket/base-env/base-env-numeric ((init init-base-env-numeric))]
[typed-racket/base-env/base-structs (initialize-structs)]
[typed-racket/base-env/base-env-indexing (initialize-indexing)]
[typed-racket/base-env/base-special-env (initialize-special)]
[typed-racket/base-env/base-contracted (initialize-contracted)]
[(submod typed-racket/base-env/base-types initialize) (initialize-type-names)]))
(define-for-syntax initialized #f)
(define-for-syntax (do-standard-inits)
(unless initialized
(do-time "Starting initialization")
(initialize-structs)
(do-time "Finshed base-structs")
(initialize-indexing)
(do-time "Finshed base-env-indexing")
(init-base-env)
(do-time "Finshed base-env")
(init-base-env-numeric)
(do-time "Finshed base-env-numeric")
(initialize-special)
(do-time "Finished base-special-env")
(initialize-contracted)
(do-time "Finished base-contracted")
(initialize-type-names)
(do-time "Finished base-types")
(set! initialized #t))
(do-requires))
(define-syntax-rule (drivers [name sym] ...)
(begin