diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-12-29 09:47:41 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-12-29 09:47:41 -0500 |
| commit | 5cb6fb95143bacd1a57fb8cc72b7315216fd8ead (patch) | |
| tree | 52c8a713417aabb454d485275b4329e9ce550b9e /demo | |
| parent | 20a5fbfa1207f2aaf79fc3547e424231aedf27c8 (diff) | |
Finish updating Grid1 demo to work with type inference change
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, |