From be30f1ae76e2a7e9a7de195b851c4eb23aac4368 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 17 Jul 2012 07:10:57 -0400 Subject: [PATCH] Use `lazy` instead of `delay`, as recommended by Eli. original commit: 22904ef43eeb947b6435983857baa62c4533a5e8 --- collects/typed-racket/private/with-types.rkt | 2 +- collects/typed-racket/tc-setup.rkt | 2 +- collects/typed-racket/utils/tc-utils.rkt | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/collects/typed-racket/private/with-types.rkt b/collects/typed-racket/private/with-types.rkt index 27242787..64b05235 100644 --- a/collects/typed-racket/private/with-types.rkt +++ b/collects/typed-racket/private/with-types.rkt @@ -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))) diff --git a/collects/typed-racket/tc-setup.rkt b/collects/typed-racket/tc-setup.rkt index 807f279c..5cb006fb 100644 --- a/collects/typed-racket/tc-setup.rkt +++ b/collects/typed-racket/tc-setup.rkt @@ -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))) diff --git a/collects/typed-racket/utils/tc-utils.rkt b/collects/typed-racket/utils/tc-utils.rkt index 3bf80656..6d5e18e6 100644 --- a/collects/typed-racket/utils/tc-utils.rkt +++ b/collects/typed-racket/utils/tc-utils.rkt @@ -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) ())