annotate tests/tryDml.ur @ 2237:e79ef5792c8b

Fix bug in redundancy checking and use finer formula for UPDATE statements.
author Ziv Scully <ziv@mit.edu>
date Sun, 05 Jul 2015 23:57:28 -0700
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>