blob: 983cc81445f875152121ecae528cf05f535f9605 (
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
|
structure IR = RefFun.Make(struct
type data = int
end)
structure SR = RefFun.Make(struct
type data = string
end)
fun main () =
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>
|
