git.iko.soy/elk
on ecc49ca help sign in
history ofelm/src/Types/Hints.hs
all commits
021a27cAdd 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.evancz f788fd0Add `xor` and `findNumber` to the type hints.evancz 40c1cfaChanged type signature of JSON.fromString; added multiplayer mario exampleJohn P Mayer Jr 6ed5808Remove extra parens! Was a parse error :|evancz 9f47e87Add type hints for new libraries, and fix the types of fps and fpsWhen.evancz 6cc617bAdd line and column number for type errors and "non-exhaustive" errors.evancz c2acf71Add type hints for (<~) and (~).Evan Czaplicki 5dcb6f7Add type hints for `timestamp` and `timeOf`evancz b16714eAdd type hints for new Time and Date libraries.evancz 95364f3Refactor lots of code in the type-checker. Also includes some efficiency improvements to make unification a bit faster.evancz ff7f9ccRename the module `Types` to `Types.Types`. This allows the .cabal file to list fewer source directories. Perhaps this will allow the use of GHCievancz 97a738dCorrect type of `findArray` in type hints.evancz 9b27e7dAdd type hint for `complement`evancz cb12567Get rid of Graphics module prefix.evancz 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.evancz bdb898dRename libraries, dropping prefixes. This probably introduces some bugs.evancz 1610b99Fix compilation error in Hints.hs, and correct a character escaping bug in the JS output.evancz 05cfda7Update the type hints for `all`, `any`, `show`, the new HTTP API, and the new character functions.evancz 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.evancz 1171a4dFix type of `middleAt`, `topLeftAt`, etc.evancz 0dee686Add foldp1Joey Adams 9e82c6bAdd type hints, update version.evancz 0391c1cAdd markdown support. Add minification support.evancz f27453eAdd support for `[markdown| anything can go here |] :: Element`. Yay!evancz 8810898Add some type hints and print out any assumptions that escape type checking.evancz 9e90c58Change module names in Types/ to include Types prefix. Work on getting let-polymorphism correct.evancz 033fa66Add type hints for `move`, `scale`, and `rotate`.evancz 76aab32Add some type hints for JSON library.evancz b5c9413Add Comparable super-type, along with `compare` function.evancz 0a4010eAdd the 'Appendable' super-type and add hints for new number functions.evancz e81bdc9Fix two typos.evancz d4b2760Correct some type hints that specified ints when numbers are okay.evancz 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.evancz 8f97ed7Add some hints and make the code to zero padding and margins less general.evancz 882a381Minor bug fixes for foreign imports/exports. Update changelogevancz 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.evancz 9069fcaGeneralize equality. Equality is now derived for all values (in the spirit of OCaml). Also bump version numbers.evancz f2e8703* restructuring, part #1Vincent Ambo