From 99f901da813eca31d9caa217b2aa4505c4062379 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Thu, 31 Oct 2013 23:12:52 -0400 Subject: [PATCH] Use the correct fail handler in type lookup The other handler is meant for type name environments. In practice, this should never come up in the current codebase, but extensions that use `lookup-type` could rely on it. original commit: 612a7fcca97523e7f4b82b0cb5ecc0d6a6321e29 --- .../typed-racket-lib/typed-racket/env/global-env.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/env/global-env.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/env/global-env.rkt index b77a3d35..9773b2ec 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/env/global-env.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/env/global-env.rkt @@ -58,7 +58,7 @@ ;; given an identifier, return the type associated with it ;; if none found, calls lookup-fail ;; identifier -> type -(define (lookup-type id [fail-handler (λ () (lookup-type-fail id))]) +(define (lookup-type id [fail-handler (λ () (lookup-fail id))]) (define v (free-id-table-ref the-mapping id fail-handler)) (cond [(box? v) (unbox v)] [(procedure? v) (define t (v)) (register-type id t) t]