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

Use lazy instead of delay, as recommended by Eli.

Browse Source 
original commit: 22904ef43eeb947b6435983857baa62c4533a5e8
This commit is contained in:
Sam Tobin-Hochstadt 2012-07-17 07:10:57 -04:00
parent 9ee5660550
commit be30f1ae76
3 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-racket/private/with-types.rkt
View File

@ -79,7 +79,7 @@
;; this parameter is just for printing types
;; this is a parameter to avoid dependency issues
[current-type-names
(delay
(lazy
(append
(type-name-env-map (lambda (id ty)
(cons (syntax-e id) ty)))

2
collects/typed-racket/tc-setup.rkt
View File

@ -50,7 +50,7 @@
;; this parameter is just for printing types
;; this is a parameter to avoid dependency issues
[current-type-names
(delay
(lazy
(append
(type-name-env-map (lambda (id ty)
(cons (syntax-e id) ty)))

2
collects/typed-racket/utils/tc-utils.rkt
View File

@ -151,7 +151,7 @@ don't depend on any other portion of the system
;; parameter for currently-defined type aliases
;; this is used only for printing type names
(define current-type-names (make-parameter (delay '())))
(define current-type-names (make-parameter (lazy '())))
;; for reporting internal errors in the type checker
(define-struct (exn:fail:tc exn:fail) ())