Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/demo/ref.ur Mon Oct 27 08:16:19 2008 -0400 +++ b/demo/ref.ur Mon Oct 27 08:27:45 2008 -0400 @@ -13,15 +13,15 @@ ir' <- IR.new 7; sr <- SR.new "hi"; - () <- IR.write ir' 10; + 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; + IR.delete ir; + IR.delete ir'; + SR.delete sr; return <xml><body> {[iv]}, {[iv']}, {[sv]}