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

Summary row with aggregates
author Adam Chlipala <adamc@hcoop.net>
date Tue, 15 Sep 2009 10:18:56 -0400
parents 6966d98c80b5
children da3ec6014d2f
line wrap: on
line diff
--- a/demo/more/dbgrid.ur	Tue Sep 15 09:45:46 2009 -0400
+++ b/demo/more/dbgrid.ur	Tue Sep 15 10:18:56 2009 -0400
@@ -251,6 +251,7 @@
 
                  con aggregates :: {Type}
                  val aggregates : $(map (aggregateMeta (key ++ row)) aggregates)
+                 val aggFolder : folder aggregates
              end) = struct
     open Grid.Make(struct
                        fun keyOf r = r --- M.row
@@ -297,5 +298,7 @@
                        val folder = M.colsFolder
 
                        val aggregates = M.aggregates
+
+                       val aggFolder = M.aggFolder
                    end)
 end