../ 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.hsChange semantics of import: - No more 'hiding' - 'import' means allow the use of a the module, not import everything14 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.hsReformat 2 lines.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.hsFix the type of Either, addressing copy-paste error.14 years ago Unify.hsChange semantics of import: - No more 'hiding' - 'import' means allow the use of a the module, not import everything14 years ago