comparison demo/more/grid0.ur @ 1304:f0afe61a6f8b

Tweaking unification fix to apply to demo/more
author Adam Chlipala <adam@chlipala.net>
date Sun, 10 Oct 2010 15:37:14 -0400
parents 8932f855fa85
children
comparison
equal deleted inserted replaced
1303:c7b9a33c26c8 1304:f0afe61a6f8b
11 val raw = {Id = {New = nextval s, 11 val raw = {Id = {New = nextval s,
12 Inj = _}, 12 Inj = _},
13 A = {New = return 0, 13 A = {New = return 0,
14 Inj = _}} 14 Inj = _}}
15 15
16 val cols = {Id = Direct.readOnly [#Id] ! "Id" Direct.int, 16 val cols = {Id = Direct.readOnly [#Id] "Id" Direct.int,
17 A = Direct.editable [#A] ! "A" Direct.int} 17 A = Direct.editable [#A] "A" Direct.int}
18 18
19 val aggregates = {} 19 val aggregates = {}
20 20
21 val pageLength = None 21 val pageLength = None
22 end) 22 end)