From d66bb9f256db65e3487dec361a4a5a9d7ee238b0 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 21 Oct 2008 18:44:52 -0400 Subject: Sql demo --- demo/sql.ur | 52 ++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 52 insertions(+) create mode 100644 demo/sql.ur (limited to 'demo/sql.ur') diff --git a/demo/sql.ur b/demo/sql.ur new file mode 100644 index 00000000..9e9effff --- /dev/null +++ b/demo/sql.ur @@ -0,0 +1,52 @@ +table t : { A : int, B : float, C : string, D : bool } + +fun list () = + rows <- queryX (SELECT * FROM t) + (fn row => + {[row.T.A]} {[row.T.B]} {[row.T.C]} {[row.T.D]} + [delete] + ); + return + + + {rows} +

A	B	C	D

+ +

+ + + + +and add r = + () <- dml (INSERT INTO t (A, B, C, D) + VALUES ({readError r.A}, {readError r.B}, {r.C}, {r.D})); + xml <- list (); + return +

Row added.

+ + {xml} + + +and delete a = + () <- dml (DELETE FROM t + WHERE t.A = {a}); + xml <- list (); + return +

Row deleted.

+ + {xml} + + +fun main () = + xml <- list (); + return + {xml} + -- cgit v1.2.3

A:
B:
C:
D: