From 612a7fcca97523e7f4b82b0cb5ecc0d6a6321e29 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. --- .../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 b77a3d35da..9773b2ec11 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]