suzanne.soy/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
This commit is contained in:
Sam Tobin-Hochstadt 2012-07-17 07:10:57 -04:00
parent b3c7210a34
commit 22904ef43e
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 parameter is just for printing types
;; this is a parameter to avoid dependency issues ;; this is a parameter to avoid dependency issues
[current-type-names [current-type-names
(delay (lazy
(append (append
(type-name-env-map (lambda (id ty) (type-name-env-map (lambda (id ty)
(cons (syntax-e 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 parameter is just for printing types
;; this is a parameter to avoid dependency issues ;; this is a parameter to avoid dependency issues
[current-type-names [current-type-names
(delay (lazy
(append (append
(type-name-env-map (lambda (id ty) (type-name-env-map (lambda (id ty)
(cons (syntax-e 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 ;; parameter for currently-defined type aliases
;; this is used only for printing type names ;; 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 ;; for reporting internal errors in the type checker
(define-struct (exn:fail:tc exn:fail) ()) (define-struct (exn:fail:tc exn:fail) ())