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

Use the correct fail handler in type lookup

Browse Source 
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
This commit is contained in:
Asumu Takikawa 2013-10-31 23:12:52 -04:00
parent ad1db428d3
commit 99f901da81
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/env/global-env.rkt vendored
View File

@ -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]