comparison demo/ref.ur @ 434:c471345f5165

Remove need for '() <-' notation
author Adam Chlipala <adamc@hcoop.net>
date Mon, 27 Oct 2008 08:27:45 -0400
parents cb5897276abf
children b393c2fc80f8
comparison
equal deleted inserted replaced
433:659c17441250 434:c471345f5165
11 fun main () = 11 fun main () =
12 ir <- IR.new 3; 12 ir <- IR.new 3;
13 ir' <- IR.new 7; 13 ir' <- IR.new 7;
14 sr <- SR.new "hi"; 14 sr <- SR.new "hi";
15 15
16 () <- IR.write ir' 10; 16 IR.write ir' 10;
17 17
18 iv <- IR.read ir; 18 iv <- IR.read ir;
19 iv' <- IR.read ir'; 19 iv' <- IR.read ir';
20 sv <- SR.read sr; 20 sv <- SR.read sr;
21 21
22 () <- IR.delete ir; 22 IR.delete ir;
23 () <- IR.delete ir'; 23 IR.delete ir';
24 () <- SR.delete sr; 24 SR.delete sr;
25 25
26 return <xml><body> 26 return <xml><body>
27 {[iv]}, {[iv']}, {[sv]} 27 {[iv]}, {[iv']}, {[sv]}
28 </body></xml> 28 </body></xml>