Sam Tobin-Hochstadt 1e98e1c1fd Add index-env. ... - Remove Dotted and DottedBoth values from tvar-env - Abstract env extension and lookup for tvar/index-env - Abstract index inference - Remove pointless parameterizations original commit: d570006db81dda68e69b7058fd3edfb68cc3d042		2010-06-21 18:29:58 -04:00
..
tests	Generalize ListDots to Listof in inference of loop var types.	2010-06-21 18:29:58 -04:00
typed	base-types-new -> base-types	2010-06-17 11:47:16 -04:00
typed-scheme	Add index-env.	2010-06-21 18:29:58 -04:00
unstable	New interface for unstable/mutated-vars	2010-06-10 13:28:29 -04:00