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 e81bdc9Fix two typos.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 8f97ed7Add some hints and make the code to zero padding and margins less general.evancz14 years ago 882a381Minor bug fixes for foreign imports/exports. Update changelogevancz14 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 9069fcaGeneralize equality. Equality is now derived for all values (in the spirit of OCaml). Also bump version numbers.evancz14 years ago f2e8703* restructuring, part #1Vincent Ambo14 years ago