Mercurial > urweb

annotate tests/sidecheck.ur @ 2033:ea0ecd5fa9df

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add locking to enforce atomicity of message sends from one transaction
author Adam Chlipala <adam@chlipala.net>
date Fri, 27 Jun 2014 14:39:31 -0400
parents 154cfe2eb366
children
rev   line source
adam@1595 1 fun main () : transaction page =
adam@1595 2 s <- source 0;
adam@1595 3 n <- get s;
adam@1595 4 set s (n + 1);
adam@1595 5 n' <- get s;
adam@1595 6 return <xml>{[n']}</xml>