annotate tests/sidecheck.ur @ 2235:0aae15c2a05a

Refactored a lot and fixed an and/or swap, but still not good on current test.
author Ziv Scully <ziv@mit.edu>
date Mon, 29 Jun 2015 01:33:47 -0700
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>