Stevie Strickland e73d9f5ee8 Generate dcon-dotted, and substitute for them. ... - generated only in the case where we have two ListDots or two ValuesDots - or when -> with the same bound, and fixed argument lengts are identical - currently errors if there are any 'fixed' portions original commit: 034b22d01401bba31f700dd5cb38fcf731ed64be		2010-06-21 18:30:29 -04:00
..
env	Change type variable environments from hash tables to sets.	2010-06-21 18:29:59 -04:00
infer	Generate dcon-dotted, and substitute for them.	2010-06-21 18:30:29 -04:00
lang	rename to rkt	2010-04-30 09:51:32 -04:00
no-check/lang	typed/racket/no-check	2010-06-09 12:51:27 -04:00
private	Add index-env.	2010-06-21 18:29:58 -04:00
rep	More progress on refactoring infer	2010-06-21 18:30:25 -04:00
scribblings	Allow (All (A) A -> A), dropping pair of parens.	2010-06-13 14:38:03 -04:00
typecheck	Implement substitutions as hash tables from vars to subst-rhs.	2010-06-21 18:30:28 -04:00
types	Generate dcon-dotted, and substitute for them.	2010-06-21 18:30:29 -04:00
utils	Export the types provide macro.	2010-06-21 18:30:26 -04:00
info.rkt	rename all files .ss -> .rkt	2010-04-27 16:50:15 -06:00
language-info.rkt	rename all files .ss -> .rkt	2010-04-27 16:50:15 -06:00
main.rkt	base-types-new -> base-types	2010-06-17 11:47:16 -04:00
minimal.rkt	rename all files .ss -> .rkt	2010-04-27 16:50:15 -06:00
no-check.rkt	rename to rkt	2010-04-30 09:51:32 -04:00
tc-setup.rkt	Add index-env.	2010-06-21 18:29:58 -04:00
typed-reader.rkt	rename all files .ss -> .rkt	2010-04-27 16:50:15 -06:00
typed-scheme.rkt	More environment refactoring.	2010-06-21 18:29:55 -04:00