@@ -211,3 +211,21 @@ Fixity declarations can associate a precedence level, which is a natural number,
211infixl 5 <>
211infixl 5 <>
212infixr 7 %%
212infixr 7 %%
217+Properties on records can be updated using the following syntax: `o { key = value, ..., key = value }`
219+For example, the following function increments the `foo` property on its argument:
222+incr = \o -> o { foo = o.foo + 1 }
225+The generated Javascript assumes the existence of a method called `Object.extend` such that `Object.extend(o, p)` takes an object `o` and generates a shallow copy of `o` including the properties of `p`. A simple JQuery implementation of this specification is
228+Object.prototype.extend = function(o, p) {
229+ return $.extend({}, o, p);