typed-racket/collects/typed-scheme
Vincent St-Amour ed4294a6f2 Have the optimizer ignore struct/exec.
original commit: 99178c70a0dd5add19b13eec4380f357e0e6680c
2010-10-06 18:43:35 -04:00
..
env Lots more laziness, and useless require removal. 2010-09-09 16:08:03 -04:00
infer Lots more laziness, and useless require removal. 2010-09-09 16:08:03 -04:00
lang
no-check/lang
optimizer Have the optimizer ignore struct/exec. 2010-10-06 18:43:35 -04:00
private Convert vectorof/vector-immutableof to the new regime. 2010-09-16 15:04:41 -04:00
rep Fix for new ->i syntax. 2010-09-10 18:38:02 -04:00
scribblings Updated the documentation of TR's optimizer. 2010-10-06 17:32:30 -04:00
typecheck Fixed tautology/contradiction recording to work with case-lambda. 2010-10-06 17:32:29 -04:00
types Fixed tautology/contradiction recording to work with case-lambda. 2010-10-06 17:32:29 -04:00
utils Turned the optimizer on by default. 2010-10-06 17:32:30 -04:00
core.rkt Turned the optimizer on by default. 2010-10-06 17:32:30 -04:00
info.rkt
language-info.rkt
main.rkt
minimal.rkt
no-check.rkt
tc-setup.rkt
typed-reader.rkt
typed-scheme.rkt Add additional require for identifiers in the residual program. 2010-09-09 16:08:04 -04:00