../ 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.hsAdd dealiasing for Strings14 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