../ Gen/Correct the associativity of (::) and ensure that JS is generated properly for (::).14 years ago Language/Add the ability to define custom infix operators.14 years ago Parse/Correct the associativity of (::) and ensure that JS is generated properly for (::).14 years ago Types/Make type annotations work properly. Refactor such that they speed up type checking dramatically.14 years ago Ast.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 Compiler.hsRefactor lots of code in the type-checker. Also includes some efficiency improvements to make unification a bit faster.14 years ago Context.hsAdd line and column number for type errors and "non-exhaustive" errors.14 years ago FreeVar.hsAdd guarded definitions. Add whitespace sensitivity for let- and case-expressions.14 years ago Guid.hs* restructuring, part #114 years ago Initialize.hsRename the module `Types` to `Types.Types`. This allows the .cabal file to list fewer source directories. Perhaps this will allow the use of GHCi14 years ago Optimize.hsAdd line and column number for type errors and "non-exhaustive" errors.14 years ago Rename.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 Replace.hsAdd guarded definitions. Add whitespace sensitivity for let- and case-expressions.14 years ago Substitute.hsAdd ability to add and remove fields from records:14 years ago