summaryrefslogtreecommitdiff
path: root/demo
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-01-07 11:01:21 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2012-01-07 11:01:21 -0500
commitd68be1854bf01323248dead3adeef7b392f1dd1d (patch)
tree8ab456dd2dee70ad84290cc91210acd8fed4fb4c /demo
parent67d3441e88b46a9b9cac6409451c004ba937d4b5 (diff)
Make wildification a bit smarter about ordering of new wildcard declarations
Diffstat (limited to 'demo')
-rw-r--r--demo/more/grid1.ur2
1 files changed, 0 insertions, 2 deletions
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 = _},