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
9b3ff32100
Switch how ADT's are displayed. Should have no visible effect.
2013-01-13 12:21:07 -08:00
evancz
c231fc35cd
Add ability to add and remove fields from records:
...
{ book - title }
{ book | pages = 100 }
From these we can derive renaming fields and replacing values:
{ book - title | name = book.title }
{ book - title | title = "Harry Potter" }
There is no syntactic short-cut to batch addition and removal of fields in a single expression.
There is already a convenient syntax for record updates added
in a previous push that lets you do batch updates:
{ book | title <- "Steppenwolf"
, author <- "Hermann Hesse" }
2012-12-26 16:07:09 -06:00
evancz
b2240f94e4
Fix bug in how Dictionaries and Sets are converted to strings.
2012-11-21 00:03:52 -08:00
evancz
e85f31fda5
New way to import that does not clutter global namespace. Switch uses of Nothing
and Just
to simpler expressions.
...
Fix IE9 bug due to `console.log`.
2012-11-20 23:18:32 -08:00
evancz
f508072988
Updates to get rid of closure compiler errors.
2012-11-14 00:06:22 -08:00
evancz
ce9e5d2173
Fix bug in space adder.
2012-10-21 04:54:07 -07:00
evancz
7c319fe4c5
Rewrite core-js to remove prefixes and change global Elm prefix from ElmCode
to Elm
.
2012-10-16 22:02:35 -07:00
evancz
bdb898df65
Rename libraries, dropping prefixes. This probably introduces some bugs.
2012-10-15 23:03:14 -07:00
evancz
c24eca8836
Add toString
definition for Maps
2012-10-10 15:05:46 -07:00
evancz
02adbe1e40
Change the type of show
. It now produces a String
.
2012-10-04 00:54:41 -04:00
evancz
9020b22499
Fix bug in typeface
and in makeSpaces
. Remove form example so that it is not duplicated.
2012-09-16 00:50:48 -05:00
evancz
5fbc042066
Fix size analysis of text in IE and FireFox
2012-09-11 13:57:42 -07:00
evancz
38d0e8f2e6
Add support for links and DOM nodes. Fix lots of bugs.
2012-09-11 02:52:03 -07:00
evancz
1501160bac
Begin rewrite of rendering engine.
2012-08-31 01:42:33 -05:00
evancz
3584556ccd
Insert spaces such that line breaks still happen. Fix string displaying in buttons.
2012-08-14 20:38:48 +02:00
evancz
c402dce192
More bug fixes for string escaping.
2012-08-14 15:07:04 +02:00
evancz
b9380718ce
Fix display bug in toText
function. Strings were not escaped properly :/ Now they are!
2012-08-14 14:10:24 +02:00
evancz
2f327b087a
Correct bug with displaying characters.
2012-08-09 16:38:44 +02:00
evancz
f39142db12
Add JSON library and make pretty printing for JSON work.
2012-07-28 22:59:31 +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
9332a8a152
Update .js files for Foreign.JavaScript and new Signal operators.
2012-06-28 03:50:16 -05:00
evancz
980c50bb4b
Add Keyboard.Raw, Data.Char, and Data.Maybe libraries.
2012-06-11 06:14:19 -05:00
evancz
ff3d6ec6cb
Add all core JavaScript libraries.
2012-04-19 23:10:25 -04:00