../ Constrain.hsMake type annotations work properly. Refactor such that they speed up type checking dramatically.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 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 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