diff tests/tryDml.ur @ 1295:929981850d9d

'tryDml' works with Postgres
author Adam Chlipala <adam@chlipala.net>
date Tue, 07 Sep 2010 09:06:13 -0400
parents acabf3935060
children
line wrap: on
line diff
--- a/tests/tryDml.ur	Tue Sep 07 08:28:07 2010 -0400
+++ b/tests/tryDml.ur	Tue Sep 07 09:06:13 2010 -0400
@@ -5,8 +5,10 @@
     dml (INSERT INTO t (Id) VALUES (0));
     o1 <- tryDml (INSERT INTO t (Id) VALUES (0));
     dml (INSERT INTO t (Id) VALUES (1));
-    o2 <- tryDml (INSERT INTO t (Id) VALUES (1));
-    return <xml>{[o1]}; {[o2]}</xml>
+    o2 <- tryDml (INSERT INTO t (Id) VALUES (2));
+    dml (INSERT INTO t (Id) VALUES (3));
+    o3 <- tryDml (INSERT INTO t (Id) VALUES (3));
+    return <xml>{[o1]}; {[o2]}; {[o3]}</xml>
 
 fun main () = return <xml><body>
   <form> <submit action={doStuff}/> </form>