summaryrefslogtreecommitdiff
path: root/demo/more
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-12-29 09:47:41 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2011-12-29 09:47:41 -0500
commit5cb6fb95143bacd1a57fb8cc72b7315216fd8ead (patch)
tree52c8a713417aabb454d485275b4329e9ce550b9e /demo/more
parent20a5fbfa1207f2aaf79fc3547e424231aedf27c8 (diff)
Finish updating Grid1 demo to work with type inference change
Diffstat (limited to 'demo/more')
-rw-r--r--demo/more/grid1.ur14
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,