Eric Dobson c9db5dded7 Make infer/dotted instantiate the dotted variable to improve inference. ... With this we don't need to infer the length of the dotted variable, in parts of the inference. Closes #120.		2015-11-10 16:56:14 -05:00
..
constraint-structs.rkt	Remove extra directories.	2014-12-02 00:53:36 -05:00
constraints.rkt	in-pairs -> in-dict	2015-08-13 10:41:15 -05:00
dmap.rkt	unstable/sequence -> racket/sequence	2015-08-13 10:41:15 -05:00
fail.rkt	Remove extra directories.	2014-12-02 00:53:36 -05:00
infer-unit.rkt	Make infer/dotted instantiate the dotted variable to improve inference.	2015-11-10 16:56:14 -05:00
infer.rkt	Remove extra directories.	2014-12-02 00:53:36 -05:00
promote-demote.rkt	Remove extra directories.	2014-12-02 00:53:36 -05:00
restrict.rkt	dont let-alias type vars, better overlap & restrict	2015-01-06 13:51:40 -05:00
signatures.rkt	Remove extra directories.	2014-12-02 00:53:36 -05:00