Mercurial > urweb

comparison tests/aborter.ur @ 424:b10132434adc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Transactions seem to be working
author Adam Chlipala <adamc@hcoop.net>
date Fri, 24 Oct 2008 16:47:18 -0400
parents
children
comparison
equal deleted inserted replaced
423:82067ea6e723 424:b10132434adc
1 table t : {A : int}
2
3 fun main () : transaction page =
4 () <- dml (INSERT INTO t (A) VALUES (0));
5 return (error <xml>No way, Jose!</xml>)