../ Alias.hsSplit the alias code into its own file. Add checks for duplicate definitions, bad order of definitions, and type aliases without enough arguments14 years ago Constrain.hsImplement type aliases.14 years ago Hints.hsAdd support for type annotations. Remaining bugs include `String` is not de-aliased and uses of the cons operator have not yet been switched over to the new (::) syntax.14 years ago Solver.hsRemove some unsafe printing.14 years ago Substitutions.hsSplit the alias code into its own file. Add checks for duplicate definitions, bad order of definitions, and type aliases without enough arguments14 years ago Types.hsAdd support for type annotations. Remaining bugs include `String` is not de-aliased and uses of the cons operator have not yet been switched over to the new (::) syntax.14 years ago Unify.hsEnable record pattern matching in let-expressions, and fix a toJS error in which records added a newline that could cause them to be parsed weirdly by JS.14 years ago