Asumu Takikawa 6512b52b1d Fix polymorphic recursion check for type aliases ... The old check was broken for cases with type constructors with more than one type argument and was also too conservative in some cases (e.g., when one cycle refers to another cycle of aliases in a non-recursive manner). The new check is still conservative, but it allows more types than before. Closes GH issue #157		2015-08-07 19:05:13 -04:00
..
env-req.rkt	Remove extra directories.	2014-12-02 00:53:36 -05:00
global-env.rkt	Remove extra directories.	2014-12-02 00:53:36 -05:00
index-env.rkt	Remove extra directories.	2014-12-02 00:53:36 -05:00
init-envs.rkt	Simplify Name type representation	2015-04-08 11:23:48 -04:00
lexical-env.rkt	Add cond-contract requires to fix contracted tests	2015-01-18 14:20:50 -05:00
mvar-env.rkt	Remove extra directories.	2014-12-02 00:53:36 -05:00
row-constraint-env.rkt	Add sealing contracts for row polymorphic types	2015-05-13 20:52:32 -04:00
scoped-tvar-env.rkt	Remove extra directories.	2014-12-02 00:53:36 -05:00
tvar-env.rkt	Remove extra directories.	2014-12-02 00:53:36 -05:00
type-alias-env.rkt	Look up unrenamed versions of type aliases as well.	2015-03-06 12:13:40 -05:00
type-alias-helper.rkt	Fix polymorphic recursion check for type aliases	2015-08-07 19:05:13 -04:00
type-env-structs.rkt	initial let-aliasing addition	2014-12-22 12:35:30 -05:00
type-name-env.rkt	Simplify Name type representation	2015-04-08 11:23:48 -04:00