comparison 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
comparison
equal deleted inserted replaced
1661:28b9b3d9414f 1662:edf86cef0dba
11 fun page (n, s) = return <xml>A = {[n]}, B = {[s]}</xml> 11 fun page (n, s) = return <xml>A = {[n]}, B = {[s]}</xml>
12 12
13 open Make(struct 13 open Make(struct
14 structure F = Direct.Foreign(struct 14 structure F = Direct.Foreign(struct
15 con nm = #Id 15 con nm = #Id
16 con t = _
17 val tab = t1 16 val tab = t1
18 fun render r = r.A 17 fun render r = r.A
19 end) 18 end)
20 19
21 val tab = t 20 val tab = t
22 con key = [Id = _] 21 con key = [Id = _]
23 con row = _
24 22
25 val raw = {Id = {New = nextval s, 23 val raw = {Id = {New = nextval s,
26 Inj = _}, 24 Inj = _},
27 A = {New = return 0, 25 A = {New = return 0,
28 Inj = _}, 26 Inj = _},