Mercurial > urweb
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> |