blob: b21d40a22a3475b3c549f29f5690704e833df794 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
structure IR = RefFun.Make(struct
type data = int
end)
structure SR = RefFun.Make(struct
type data = string
end)
fun mutate () =
ir <- IR.new 3;
ir' <- IR.new 7;
sr <- SR.new "hi";
IR.write ir' 10;
iv <- IR.read ir;
iv' <- IR.read ir';
sv <- SR.read sr;
IR.delete ir;
IR.delete ir';
SR.delete sr;
return <xml><body>
{[iv]}, {[iv']}, {[sv]}
</body></xml>
fun main () = return <xml><body>
<form><submit action={mutate} value="Do some pointless stuff"/></form>
</body></xml>
|
