6cc617bAdd line and column number for type errors and "non-exhaustive" errors.evancz14 years ago b9d26eeMake the `Time` type more flexible.evancz14 years ago 95364f3Refactor lots of code in the type-checker. Also includes some efficiency improvements to make unification a bit faster.evancz14 years ago ff7f9ccRename the module `Types` to `Types.Types`. This allows the .cabal file to list fewer source directories. Perhaps this will allow the use of GHCievancz14 years ago 9e82c6bAdd type hints, update version.evancz14 years ago 9e90c58Change module names in Types/ to include Types prefix. Work on getting let-polymorphism correct.evancz14 years ago 033fa66Add type hints for `move`, `scale`, and `rotate`.evancz14 years ago 76aab32Add some type hints for JSON library.evancz14 years ago b5c9413Add Comparable super-type, along with `compare` function.evancz14 years ago 0a4010eAdd the 'Appendable' super-type and add hints for new number functions.evancz14 years ago d4b2760Correct some type hints that specified ints when numbers are okay.evancz14 years ago 153d054- Simplify basic types. Add more correct versions of Type Schemes and Super Types. - Adjust type hints to use type schemes. - Adjust constraint generation to use type schemes and super types properly. - Modify unification algorithm to properly handle type schemes and super types.evancz14 years ago a9da9b3Update compiler to parse and compile FFI imports and exports. Add type hints for Foreign.JavaScript. Fix bug where Haskell lib functions do not display title properly. Add --import-js flag.evancz14 years ago f2e8703* restructuring, part #1Vincent Ambo14 years ago