comparison demo/more/grid1.ur @ 935:2422360c78a3

Dropped in initial aggregate types
author Adam Chlipala <adamc@hcoop.net>
date Tue, 15 Sep 2009 09:40:51 -0400
parents 0a156bbd205f
children 37dd42935dad
comparison
equal deleted inserted replaced
934:36f787c02287 935:2422360c78a3
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
48 val aggregates = {}
47 end) 49 end)
48 50
49 fun main () = 51 fun main () =
50 grid <- grid; 52 grid <- grid;
51 return <xml> 53 return <xml>