Mercurial > urweb

comparison demo/more/grid1.ur @ 1093:8d3aa6c7cee0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Make summary unification more conservative; infer implicit arguments after applications
author Adam Chlipala <adamc@hcoop.net>
date Sat, 26 Dec 2009 11:56:40 -0500
parents fbc3a0eef45a
children c815dabcfe3c
comparison
equal deleted inserted replaced
1092:6f4b05fc4361 1093:8d3aa6c7cee0
33 con nm = #Id 33 con nm = #Id
34 val tab = t1 34 val tab = t1
35 fun render r = r.A 35 fun render r = r.A
36 end) 36 end)
37 37
38 val cols = {Id = Direct.readOnly [#Id] ! "Id" Direct.int, 38 val cols = {Id = Direct.readOnly [#Id] "Id" Direct.int,
39 A = Direct.editable [#A] ! "A" Direct.int, 39 A = Direct.editable [#A] "A" Direct.int,
40 B = Direct.editable [#B] ! "B" Direct.string, 40 B = Direct.editable [#B] "B" Direct.string,
41 C = Direct.editable [#C] ! "C" Direct.bool, 41 C = Direct.editable [#C] "C" Direct.bool,
42 D = Direct.editable [#D] ! "D" F.meta, 42 D = Direct.editable [#D] "D" F.meta,
43 E = Direct.editable [#E] ! "E" (Direct.nullable Direct.int), 43 E = Direct.editable [#E] "E" (Direct.nullable Direct.int),
44 F = Direct.editable [#F] ! "F" (Direct.nullable F.meta), 44 F = Direct.editable [#F] "F" (Direct.nullable F.meta),
45 DA = computed "2A" (fn r => 2 * r.A), 45 DA = computed "2A" (fn r => 2 * r.A),
46 Link = computedHtml "Link" (fn r => <xml><a link={page (r.A, r.B)}>Go</a></xml>)} 46 Link = computedHtml "Link" (fn r => <xml><a link={page (r.A, r.B)}>Go</a></xml>)}
47 47
48 val aggregates = {Dummy1 = {Initial = (), 48 val aggregates = {Dummy1 = {Initial = (),
49 Step = fn _ _ => (), 49 Step = fn _ _ => (),