6cc617bAdd line and column number for type errors and "non-exhaustive" errors.evancz14 years ago 1ad6801Add the ability to define custom infix operators.evancz14 years ago 8ac0c81Improve optimizations a bit. The compiler now performs beta reduction in some simple cases.evancz14 years ago 9e90c58Change module names in Types/ to include Types prefix. Work on getting let-polymorphism correct.evancz14 years ago 75593c5Change representation of Modules. Now all statements (definitions, datatypes, event imports, and event exports) are treated the same way. This caused lots of changes, but will ultimately improve type checking.evancz14 years ago 79e465cChange representation of let-expressions to fix let-polymorphism. Better type inference for case-expressions (all cases must have same type).evancz14 years ago 9a51377Change optimizations to match new internal representation of numbers.evancz14 years ago 267f77cAdd basic module system and improve parser error messages.evancz14 years ago