annotate tests/tryDml.ur @ 1819:c9c38157d0d3

Merge
author Adam Chlipala <adam@chlipala.net>
date Fri, 14 Sep 2012 06:44:14 -0400
parents 929981850d9d
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>