annotate tests/tryDml.ur @ 2201:1091227f535a

Unnest properly in presence of kind polymorphism
author Adam Chlipala <adam@chlipala.net>
date Sun, 20 Dec 2015 13:41:35 -0500
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>