diff demo/more/dbgrid.urs @ 937:37dd42935dad

Summary row with aggregates
author Adam Chlipala <adamc@hcoop.net>
date Tue, 15 Sep 2009 10:18:56 -0400
parents 2422360c78a3
children e2be476673f2
line wrap: on
line diff
--- a/demo/more/dbgrid.urs	Tue Sep 15 09:45:46 2009 -0400
+++ b/demo/more/dbgrid.urs	Tue Sep 15 10:18:56 2009 -0400
@@ -103,6 +103,7 @@
 
                  con aggregates :: {Type}
                  val aggregates : $(map (aggregateMeta (key ++ row)) aggregates)
+                 val aggFolder : folder aggregates
              end) : sig
     type grid