Mercurial > urweb

comparison demo/ref.ur @ 732:5819fb63c93a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Effectness analysis
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Apr 2009 15:29:39 -0400
parents aa2290c32ce2
children
comparison
equal deleted inserted replaced
731:e0dd85ea58e1 732:5819fb63c93a
4 4
5 structure SR = RefFun.Make(struct 5 structure SR = RefFun.Make(struct
6 type data = string 6 type data = string
7 end) 7 end)
8 8
9 fun main () = 9 fun mutate () =
10 ir <- IR.new 3; 10 ir <- IR.new 3;
11 ir' <- IR.new 7; 11 ir' <- IR.new 7;
12 sr <- SR.new "hi"; 12 sr <- SR.new "hi";
13 13
14 IR.write ir' 10; 14 IR.write ir' 10;
22 SR.delete sr; 22 SR.delete sr;
23 23
24 return <xml><body> 24 return <xml><body>
25 {[iv]}, {[iv']}, {[sv]} 25 {[iv]}, {[iv']}, {[sv]}
26 </body></xml> 26 </body></xml>
27
28 fun main () = return <xml><body>
29 <form><submit action={mutate} value="Do some pointless stuff"/></form>
30 </body></xml>