From 4d388db17b657a571f03540123683756b0875c5a Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 3 May 2009 14:57:33 -0400 Subject: outer demo --- demo/outer.ur | 35 +++++++++++++++++++++++++++++++++++ 1 file changed, 35 insertions(+) create mode 100644 demo/outer.ur (limited to 'demo/outer.ur') diff --git a/demo/outer.ur b/demo/outer.ur new file mode 100644 index 00000000..ac49f475 --- /dev/null +++ b/demo/outer.ur @@ -0,0 +1,35 @@ +table t : { Id : int, B : string } + PRIMARY KEY Id + +table u : { Id : int, Link : int, C : string, D : option float } + PRIMARY KEY Id, + CONSTRAINT Link FOREIGN KEY Link REFERENCES t(Id) + +fun main () = + xml <- queryX (SELECT t.Id, t.B, u.Id, u.C, u.D + FROM t LEFT JOIN u ON t.Id = u.Link) + (fn r => + {[r.T.Id]} + {[r.T.B]} + {[r.U.Id]} + {[r.U.C]} + {[r.U.D]} + ); + return + {xml}
+ +
Insert into t: + +
+ Insert into u: + + +
+ +and addT r = + dml (INSERT INTO t (Id, B) VALUES ({[readError r.Id]}, {[r.B]})); + main () + +and addU r = + dml (INSERT INTO u (Id, Link, C, D) VALUES ({[readError r.Id]}, {[readError r.Link]}, {[r.C]}, {[readError r.D]})); + main () -- cgit v1.2.3