![]() - use syntax classes for tc-literal - remove one-armed if - fix comments - use syntax classes for find-annotation - unit contracts for inference unit and typechecker unit - macro to enable/disable unit contracts - correct fold/free-var calculation for latent effects - documentation improvements - add bindings for additional special type forms - U and Un are the same binding, same with Tuple and List - fix types for integer?, exact-integer? - write not-yet-enabled syntax-class based type parser svn: r13440 |
||
---|---|---|
.. | ||
env | ||
infer | ||
lang | ||
no-check/lang | ||
private | ||
rep | ||
typecheck | ||
utils | ||
info.ss | ||
main.ss | ||
minimal.ss | ||
no-check.ss | ||
ts-guide.scrbl | ||
ts-reference.scrbl | ||
typed-reader.ss | ||
typed-scheme.ss |