Make sure type environment is only initialized once
This commit is contained in:
parent
157481ceda
commit
44d591b5ba
|
@ -14,12 +14,15 @@
|
||||||
with-type
|
with-type
|
||||||
(for-syntax do-standard-inits))
|
(for-syntax do-standard-inits))
|
||||||
|
|
||||||
|
(define-for-syntax initialized #f)
|
||||||
(define-for-syntax (do-standard-inits)
|
(define-for-syntax (do-standard-inits)
|
||||||
(initialize-special)
|
(unless initialized
|
||||||
((dynamic-require 'typed-scheme/base-env/base-structs 'initialize-structs))
|
(initialize-special)
|
||||||
((dynamic-require 'typed-scheme/base-env/base-env-indexing 'initialize-indexing))
|
((dynamic-require 'typed-scheme/base-env/base-structs 'initialize-structs))
|
||||||
((dynamic-require 'typed-scheme/base-env/base-env 'init))
|
((dynamic-require 'typed-scheme/base-env/base-env-indexing 'initialize-indexing))
|
||||||
((dynamic-require 'typed-scheme/base-env/base-env-numeric 'init)))
|
((dynamic-require 'typed-scheme/base-env/base-env 'init))
|
||||||
|
((dynamic-require 'typed-scheme/base-env/base-env-numeric 'init))
|
||||||
|
(set! initialized #t)))
|
||||||
|
|
||||||
(define-syntax-rule (drivers [name sym] ...)
|
(define-syntax-rule (drivers [name sym] ...)
|
||||||
(begin
|
(begin
|
||||||
|
|
Loading…
Reference in New Issue
Block a user