Sam Tobin-Hochstadt f23baef8aa Opaque types may overlap with anything. ... Closes PR 12434.		2011-12-09 18:11:51 -05:00
..
base-env	Add TR support for gcd and lcm on rationals.	2011-12-08 17:13:50 -05:00
env	Some selective #:when (not ...)' -> #:unless ...'.	2011-09-16 10:48:18 -04:00
infer	Fix missing argument.	2011-11-14 11:03:22 -05:00
minimal/lang
optimizer	Drop some trivially-pure code.	2011-12-06 17:20:32 -05:00
private	Forbid non-productive recursive types.	2011-09-23 14:40:17 -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	Add `typecheck-fail' form for explicit type errors.	2011-10-25 12:10:58 -07:00
typecheck	Opaque types may overlap with anything.	2011-12-09 18:11:51 -05:00
types	Opaque types may overlap with anything.	2011-12-09 18:11:51 -05:00
utils	Fix wrapping of null' when provided as Any'.	2011-10-21 10:55:57 -04: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