diff options
Diffstat (limited to 'demo')
| -rw-r--r-- | demo/more/grid1.ur | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/demo/more/grid1.ur b/demo/more/grid1.ur index 2e58bdb7..5f568f4d 100644 --- a/demo/more/grid1.ur +++ b/demo/more/grid1.ur @@ -11,8 +11,16 @@ table t : {Id : int, A : int, B : string, C : bool, D : int, E : option int, F : 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 = _}, @@ -29,12 +37,6 @@ open Make(struct F = {New = return None, Inj = _}} - structure F = Direct.Foreign(struct - con nm = #Id - val tab = t1 - fun render r = r.A - end) - val cols = {Id = Direct.readOnly [#Id] "Id" Direct.int, A = Direct.editable [#A] "A" Direct.int, B = Direct.editable [#B] "B" Direct.string, |