Matthew Flatt 0197902309 add var-ref->mod-decl-insp' and switch cur-code-insp' uses ... Macros and other tools that need syntax privilege used `(current-code-inspector)' at the module top-level to try to capture the right code inspector at load time. It's more consistent to instead use the enclosing module's declaration-time inspector, and `var-ref->mod-decl-insp' provides that. The new function works only on references to anonymous variables, which limits access to the inspector. The real function name is longer, of course.		2011-09-20 13:50:36 -06:00
..
base-env	add var-ref->mod-decl-insp' and switch cur-code-insp' uses	2011-09-20 13:50:36 -06:00
env	Some selective #:when (not ...)' -> #:unless ...'.	2011-09-16 10:48:18 -04:00
infer	Add a field to base types to indicate if they are numeric types or not.	2011-09-13 11:22:24 -04:00
minimal/lang
optimizer	Some selective #:when (not ...)' -> #:unless ...'.	2011-09-16 10:48:18 -04:00
private	Add a field to base types to indicate if they are numeric types or not.	2011-09-13 11:22:24 -04:00
rep	Add a field to base types to indicate if they are numeric types or not.	2011-09-13 11:22:24 -04:00
scribblings	Revert "Abolish "typed-scheme"."	2011-09-04 10:27:58 -04:00
typecheck	Some selective #:when (not ...)' -> #:unless ...'.	2011-09-16 10:48:18 -04:00
types	Two types definitely overlap if they are equal.	2011-09-16 17:20:31 -04:00
utils	add var-ref->mod-decl-insp' and switch cur-code-insp' uses	2011-09-20 13:50:36 -06:00
core.rkt	Switch to square brackets for REPL type display.	2011-09-13 15:42:04 -04:00
info.rkt
language-info.rkt
minimal.rkt
tc-setup.rkt	Move environment initialization after local expansion in Typed Racket.	2011-09-12 11:52:26 -04:00
typed-racket.rkt	Move environment initialization after local expansion in Typed Racket.	2011-09-12 11:52:26 -04:00
typed-reader.rkt