Mercurial > urweb
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) |