Mercurial > urweb

comparison demo/more/orm1.ur @ 1093:8d3aa6c7cee0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Make summary unification more conservative; infer implicit arguments after applications
author Adam Chlipala <adamc@hcoop.net>
date Sat, 26 Dec 2009 11:56:40 -0500
parents b825d843b22d
children 819756825c8d
comparison
equal deleted inserted replaced
1092:6f4b05fc4361 1093:8d3aa6c7cee0
1 open Orm 1 open Orm
2 2
3 structure T = Table(struct 3 structure T = Table(struct
4 val cols = {A = local [int] _, 4 val cols = {A = local [int],
5 B = local [string] _} 5 B = local [string]}
6 end) 6 end)
7 7
8 structure S = Table(struct 8 structure S = Table(struct
9 val cols = {C = T.id, 9 val cols = {C = T.id,
10 D = local [float] _} 10 D = local [float]}
11 end) 11 end)
12 12
13 fun action () = 13 fun action () =
14 r1 <- T.create {A = 3, B = "Hi"}; 14 r1 <- T.create {A = 3, B = "Hi"};
15 T.save (r1 -- #B ++ {B = "Bye"}); 15 T.save (r1 -- #B ++ {B = "Bye"});