annotate 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
rev   line source
adam@1293 1 table t : {Id : int}
adam@1293 2 PRIMARY KEY Id
adam@1293 3
adam@1293 4 fun doStuff () =
adam@1293 5 dml (INSERT INTO t (Id) VALUES (0));
adam@1293 6 o1 <- tryDml (INSERT INTO t (Id) VALUES (0));
adam@1293 7 dml (INSERT INTO t (Id) VALUES (1));
adam@1295 8 o2 <- tryDml (INSERT INTO t (Id) VALUES (2));
adam@1295 9 dml (INSERT INTO t (Id) VALUES (3));
adam@1295 10 o3 <- tryDml (INSERT INTO t (Id) VALUES (3));
adam@1295 11 return <xml>{[o1]}; {[o2]}; {[o3]}</xml>
adam@1293 12
adam@1293 13 fun main () = return <xml><body>
adam@1293 14 <form> <submit action={doStuff}/> </form>
adam@1293 15 </body></xml>