Sam Tobin-Hochstadt 0550dd15d2 Make environments much lazier about computing types; remove useless requires. ... Allow duplicate type annotations when they are the same type. original commit: 3e1eb67336617150b546841a0c1c3d2793385b06		2011-08-30 11:33:40 -04:00
..
parse-type.rkt	Properly parse `Values' in types.	2011-08-25 14:10:05 -04:00
type-annotation.rkt	Make environments much lazier about computing types; remove useless requires.	2011-08-30 11:33:40 -04:00
type-contract.rkt	Clean up some contract errors and type->contract. Closes PR11756.	2011-07-14 17:06:52 -04:00
with-types.rkt	Useful error message when `with-type' used in a typed module.	2011-08-19 11:34:37 -04:00