Commit graph

1552 commits

Author SHA1 Message Date
evancz
8810898c08 Add some type hints and print out any assumptions that escape type checking. 2012-08-10 22:16:30 +02:00
evancz
028d2eca51 Fix bad behavior of [ lo .. hi ] syntax. Now [4..0] ==> [], not [0]. 2012-08-10 22:15:48 +02:00
evancz
dea401b9f8 Fix bug in concretize in which a fold uses the base for every step instead of accumulating the result (i.e. t becomes t'). One character mistakes are the worst! Let-polymorphism should be working for everything now! FINALLY! Mabye... 2012-08-09 18:18:38 +02:00
evancz
2f327b087a Correct bug with displaying characters. 2012-08-09 16:38:44 +02:00
evancz
9e90c58849 Change module names in Types/ to include Types prefix. Work on getting let-polymorphism correct. 2012-08-09 16:38:18 +02:00
evancz
46df5ff0ff Add new binops to parser. 2012-08-07 13:39:03 +02:00
evancz
75593c5df5 Change 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. 2012-08-02 01:37:37 +02:00
evancz
033fa66e5a Add type hints for move, scale, and rotate. 2012-07-31 15:36:26 +02:00
evancz
46cb69f5c6 Update runtime system, and update version number to 0.3.6. 2012-07-28 23:06:54 +02:00
evancz
76aab32ef6 Add some type hints for JSON library. 2012-07-28 22:59:51 +02:00
evancz
f39142db12 Add JSON library and make pretty printing for JSON work. 2012-07-28 22:59:31 +02:00
evancz
3b5dea98b4 Update changelog.txt to reflect new changes. 2012-07-28 20:46:36 +02:00
evancz
848f31c4b7 Add variable renaming for new Let representation. 2012-07-28 20:46:14 +02:00
evancz
45f834e0fc Add context to type constraints for better error messages. Fix big with generated constraints in which some constraints could be ignored. 2012-07-28 20:45:42 +02:00
evancz
8c422182e8 Add (^) binop and update comparison operators to use new comparison framework. 2012-07-28 20:44:34 +02:00
evancz
b5c941349f Add Comparable super-type, along with compare function. 2012-07-28 20:36:29 +02:00
evancz
b89d822de8 Add custom Show instance for Expr datatype. 2012-07-28 20:34:47 +02:00
evancz
b6806c5d48 Add JSON library. 2012-07-28 20:33:58 +02:00
evancz
39f00d8b6b Display JSON properly and add JSON.js to the big lib builder. 2012-07-28 20:33:00 +02:00
evancz
7d09fb6972 Fix display bug in latest Chrome build. 2012-07-28 20:32:31 +02:00
evancz
6c90abaf3d Add comparison functions and some (int <-> float) functions. 2012-07-28 20:31:57 +02:00
evancz
0a4010e7da Add the 'Appendable' super-type and add hints for new number functions. 2012-07-22 00:50:35 +01:00
evancz
79e465c9e0 Change representation of let-expressions to fix let-polymorphism. Better type inference for case-expressions (all cases must have same type). 2012-07-22 00:48:51 +01:00
evancz
e81bdc9b2d Fix two typos. 2012-07-19 12:26:35 +00:00
evancz
d4b2760178 Correct some type hints that specified ints when numbers are okay. 2012-07-19 12:22:31 +00:00
evancz
e75937e958 Final fixes for use of type schemes. 2012-07-19 11:53:45 +00:00
evancz
9a51377c33 Change optimizations to match new internal representation of numbers. 2012-07-19 11:52:50 +00:00
evancz
153d05438c - 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.
2012-07-19 11:51:57 +00:00
evancz
6c47a84f96 Add separate representations for Ints and Floats. 2012-07-19 11:47:53 +00:00
evancz
0b99ea4def Add div function for integer division. 2012-07-17 18:53:48 +00:00
evancz
4cd426d9fb Fix FFI conversion bug for JSTuples to Tuples. 2012-07-17 18:53:30 +00:00
evancz
46398b9e31 Add latest runtime system. 2012-07-05 10:47:10 -05:00
evancz
07104c2156 Merge branch 'master' of https://github.com/evancz/Elm 2012-07-05 10:41:31 -05:00
evancz
03245c286a Fix foldr1 bug (wrong base case). Reveal isClickedOn in Signal.Mouse. Bump version number. 2012-07-05 10:21:27 -05:00
Evan Czaplicki
40146146a7 Point to latest runtime system. 2012-07-02 16:16:27 -05:00
Evan Czaplicki
1c375e7c8f Update runtime location. 2012-07-02 16:13:30 -05:00
evancz
c3ec869afb Correct version number for elm-server, and disable noscript generation by default. You get indexed by Google and Bing without out it. I think it is formatted poorly, so they assume it is SEO. 2012-06-29 16:19:19 -05:00
evancz
8f97ed731c Add some hints and make the code to zero padding and margins less general. 2012-06-29 15:44:19 -05:00
evancz
f863f62c48 Switch readmes to .md 2012-06-29 14:32:42 -05:00
evancz
58b8605bcb Make minor corrections to Map example. 2012-06-29 12:55:14 -05:00
evancz
1430e8f467 Correct error with sampleOn function. 2012-06-29 11:29:41 -05:00
evancz
913aaf0509 Set margin and padding to 0 explicitly.
Move JSElementToElement (and vice-versa) to Foreign.JavaScripct.Experimental.

Add clicks and sampleOn functions.
2012-06-29 10:21:06 -05:00
evancz
abb3851063 Remove hyphenation CSS. 2012-06-28 17:44:56 -05:00
evancz
9e1d2c87df Fix error with castJSElementToElement. 2012-06-28 15:34:58 -05:00
evancz
29a508d602 Add maps example and rename some folders. 2012-06-28 15:33:36 -05:00
evancz
cbecda2319 Update .gitignore 2012-06-28 13:02:38 -05:00
evancz
39766b0342 Correct copy-paste errors in README.txt files. 2012-06-28 13:01:55 -05:00
evancz
2fc6769011 Update version numbers 2012-06-28 13:01:09 -05:00
evancz
882a381aba Minor bug fixes for foreign imports/exports. Update changelog 2012-06-28 12:58:31 -05:00
evancz
0934ab6e72 Add built-in event handlers (elm_log, elm_title, elm_redirect) and add Data.List.last 2012-06-28 12:57:17 -05:00