diff 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
line wrap: on
line diff
--- a/demo/more/grid1.ur	Mon Sep 14 19:04:38 2009 -0400
+++ b/demo/more/grid1.ur	Tue Sep 15 09:40:51 2009 -0400
@@ -44,6 +44,8 @@
                           F = Direct.editable [#F] ! "F" (Direct.nullable F.meta),
                           DA = computed "2A" (fn r => 2 * r.A),
                           Link = computedHtml "Link" (fn r => <xml><a link={page (r.A, r.B)}>Go</a></xml>)}
+
+              val aggregates = {}
           end)
 
 fun main () =