74d5270Remove extra parens! Was a parse error :|evancz14 years ago 83aa5c2Add type hints for new libraries, and fix the types of fps and fpsWhen.evancz14 years ago 6cc617bAdd line and column number for type errors and "non-exhaustive" errors.evancz14 years ago c2acf71Add type hints for (<~) and (~).Evan Czaplicki14 years ago 5dcb6f7Add type hints for `timestamp` and `timeOf`evancz14 years ago b16714eAdd type hints for new Time and Date libraries.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 97a738dCorrect type of `findArray` in type hints.evancz14 years ago 9b27e7dAdd type hint for `complement`evancz14 years ago cb12567Get rid of Graphics module prefix.evancz14 years ago 56b5e53Detect ambiguous variable usage and report this to the user. Make the compiler match up import aliases with the underlying type hints. Add a ton of type hints.evancz14 years ago bdb898dRename libraries, dropping prefixes. This probably introduces some bugs.evancz14 years ago 1610b99Fix compilation error in Hints.hs, and correct a character escaping bug in the JS output.evancz14 years ago 05cfda7Update the type hints for `all`, `any`, `show`, the new HTTP API, and the new character functions.evancz14 years ago c9c17b3Rename `insideForm` to `isWithin`. Rename `foldp1` to `foldp'`, I think the previous name suggests different behavior. Add `foldp1 :: (a -> a -> a) -> Signal a -> Signal a` Add type hints for all of these functions.evancz14 years ago 1171a4dFix type of `middleAt`, `topLeftAt`, etc.evancz14 years ago 0dee686Add foldp1Joey Adams14 years ago 9e82c6bAdd type hints, update version.evancz14 years ago 0391c1cAdd markdown support. Add minification support.evancz14 years ago f27453eAdd support for `[markdown| anything can go here |] :: Element`. Yay!evancz14 years ago 8810898Add some type hints and print out any assumptions that escape type checking.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 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