From bd78657f61d3783f9a282bf38ad0cbcb8b8bf5d4 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 7 Jan 2012 11:01:21 -0500
Subject: Make wildification a bit smarter about ordering of new wildcard
 declarations

---
 demo/more/grid1.ur | 2 --
 1 file changed, 2 deletions(-)

(limited to 'demo')

diff --git a/demo/more/grid1.ur b/demo/more/grid1.ur
index 5f568f4d..66fe2f2c 100644
--- a/demo/more/grid1.ur
+++ b/demo/more/grid1.ur
@@ -13,14 +13,12 @@ fun page (n, s) = return <xml>A = {[n]}, B = {[s]}</xml>
 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 = _},
-- 
cgit v1.2.3