Mercurial > urweb
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> |