From 5cb6fb95143bacd1a57fb8cc72b7315216fd8ead Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 29 Dec 2011 09:47:41 -0500 Subject: Finish updating Grid1 demo to work with type inference change --- demo/more/grid1.ur | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) (limited to 'demo') 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 A = {[n]}, B = {[s]} 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, -- cgit v1.2.3