../ Alias.hsFix bug with code that ensures that type annotations are right above their corresponding definition. Due to a lack of parens, the check only worked with one type annotation.14 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