Mercurial > urweb

diff demo/more/grid1.ur @ 1662:edf86cef0dba

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Make wildification a bit smarter about ordering of new wildcard declarations
author Adam Chlipala <adam@chlipala.net>
date Sat, 07 Jan 2012 11:01:21 -0500
parents c815dabcfe3c
children
line wrap: on
line diff
--- a/demo/more/grid1.ur	Fri Jan 06 18:09:50 2012 -0500
+++ b/demo/more/grid1.ur	Sat Jan 07 11:01:21 2012 -0500
@@ -13,14 +13,12 @@
 open Make(struct
               structure F = Direct.Foreign(struct
                                                con nm = #Id
-                                               con t = _
                                                val tab = t1
                                                fun render r = r.A
                                            end)
 
               val tab = t
               con key = [Id = _]
-              con row = _
 
               val raw = {Id = {New = nextval s,
                                Inj = _},