Commit graph

780 commits

Author SHA1 Message Date
evancz
2bfe9ca059 Allow record extension in types. 2013-02-07 00:15:15 -08:00
evancz
67503cef7d Add dealiasing for Strings 2013-02-06 10:30:25 -08:00
evancz
b2a7bd1c6e Implement type aliases. 2013-02-06 03:04:55 -08:00
evancz
1848c9542b Allow type annotations for infix operators. 2013-02-05 22:27:12 -08:00
evancz
e0b7d2668e Add some type annotations to Automaton.elm 2013-02-05 22:26:52 -08:00
evancz
55b3d3910d Correct the associativity of (::) and ensure that JS is generated properly for (::). 2013-02-05 22:26:22 -08:00
evancz
6b2b19d217 Add type annotations to the Dict library to test functionality and speed of type annotations. Shows dramatic speed improvement! 2013-02-05 03:22:02 -08:00
evancz
7d50769c31 Make type annotations work properly. Refactor such that they speed up type checking dramatically. 2013-02-05 03:20:55 -08:00
evancz
0ec1cf3e10 Switch to the new cons (::) in parse library. 2013-02-05 03:19:35 -08:00
evancz
021a27cc39 Add 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. 2013-02-04 02:56:22 -08:00
evancz
b4dba5ff91 Migrate type annotations to more JS files. 2013-02-03 20:13:08 -08:00
evancz
edb65fc865 Add WebSockets and function composition to the change log. 2013-02-03 02:43:45 -08:00
evancz
86f2e33949 Add support for using ∘ for function composition. 2013-02-03 02:40:36 -08:00
evancz
f788fd0ec2 Add xor and findNumber to the type hints. 2013-02-03 02:39:42 -08:00
evancz
984e3b5b4b Merge branch 'master' of https://github.com/evancz/Elm 2013-02-03 02:15:40 -08:00
Evan Czaplicki
5fea39ccf3 Merge pull request #89 from johnpmayer/topic/JSON_and_Mario
Changed type signature of JSON.fromString; added multiplayer mario example
2013-02-03 01:32:28 -08:00
John P Mayer Jr
be406f0d44 local ignore file 2013-02-02 19:57:44 -05:00
John P Mayer Jr
40c1cfa81a Changed type signature of JSON.fromString; added multiplayer mario example 2013-02-02 19:37:05 -05:00
evancz
5dadeee03e Fix the equality checker. 2013-02-01 10:27:17 -08:00
evancz
f15dbef968 Switch away from Object.create which was actually extremely slow given the particular way it was used. 2013-01-31 00:42:46 -08:00
evancz
51accf643d Change name of WebSocket.send to WebSocket.open.
Begin adding documentation to raw JS files.
2013-01-30 19:47:29 -08:00
evancz
cd3571976c Merge branch 'master' of https://github.com/evancz/Elm 2013-01-30 03:57:15 -08:00
evancz
ea8ff3835e Make record extension more concise. 2013-01-30 03:56:21 -08:00
evancz
d0dad209a4 Remove some silly comments that Google Closure had me put in. 2013-01-30 03:55:10 -08:00
evancz
62b344c2a1 Attempt a WebSockets library. 2013-01-30 03:54:49 -08:00
evancz
8795bae3ef Begin adding some type annotations. 2013-01-30 03:54:09 -08:00
Evan Czaplicki
6ec11788d8 Merge pull request #82 from dobesv/patch-throws
Patch some more cases of throwing a string to throw new Error(...)
2013-01-29 22:11:39 -08:00
Dobes Vandermeer
30319a3425 And a few more places with bad throws. 2013-01-29 12:47:55 -08:00
Dobes Vandermeer
258519a999 Merge branch 'master' of git://github.com/evancz/Elm 2013-01-29 12:45:01 -08:00
Dobes Vandermeer
99264a5aa1 Fix some more places where strings were thrown rather than Error(). 2013-01-29 12:42:56 -08:00
evancz
3d1363c7a1 Make records faster using in and Object.create and profiling. I was seeing improvements of 6 or 7x for individual operations. 2013-01-29 10:11:23 -08:00
evancz
d027625daa Minify RTS and bump version number. 2013-01-25 11:27:02 -08:00
evancz
0017e9f3bb Make Pong more concise. 2013-01-25 11:27:02 -08:00
evancz
17b104acaf Update to work with pandoc >= 1.10. Hopefully this is not another annoying change in which people cannot get 1.10 working on their machine. 2013-01-25 11:27:01 -08:00
evancz
da4b04e72d Latest RTS 2013-01-25 11:27:01 -08:00
evancz
a6709b8178 Fix silly error with mergeEither. 2013-01-25 11:27:01 -08:00
evancz
fb21e217d6 Add xor to runtime. 2013-01-25 11:27:00 -08:00
evancz
74d52704ba Remove extra parens! Was a parse error :| 2013-01-25 11:27:00 -08:00
evancz
398ef59fe9 Add xor function. 2013-01-25 11:27:00 -08:00
evancz
cefe6f5f5d Update runtime. 2013-01-25 11:26:59 -08:00
evancz
83aa5c2a3c Add type hints for new libraries, and fix the types of fps and fpsWhen. 2013-01-25 11:26:59 -08:00
evancz
d8f8bf5c39 Ensure that touch listener is detached if it is not used. 2013-01-25 11:26:59 -08:00
evancz
589a16cdd0 Add the mergeEither signal and remove some dead code from Touch.js. 2013-01-25 11:26:58 -08:00
evancz
d2bc280d31 Switch how ADT's are displayed. Should have no visible effect. 2013-01-25 11:26:58 -08:00
evancz
c5da28341c Add Either library, change Maybe API, and add tap to Touch library. 2013-01-25 11:26:58 -08:00
evancz
7014d534be Minify RTS and bump version number. 2013-01-25 10:42:52 -08:00
evancz
2af52672e3 Make Pong more concise. 2013-01-25 03:23:04 -08:00
evancz
db7e6177e0 Update to work with pandoc >= 1.10. Hopefully this is not another annoying change in which people cannot get 1.10 working on their machine. 2013-01-25 02:31:41 -08:00
evancz
484e7ab4ef Latest RTS 2013-01-25 01:28:26 -08:00
evancz
0048be9733 Fix silly error with mergeEither. 2013-01-25 01:28:08 -08:00