Mercurial > urweb
comparison demo/more/orm1.ur @ 1093:8d3aa6c7cee0
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"}); |