Mercurial > urweb
diff demo/more/grid1.ur @ 1662:edf86cef0dba
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 = _},