Mercurial > urweb
diff tests/cut.ur @ 493:ae03d09043c1
Add CutMulti
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 11 Nov 2008 19:20:37 -0500 |
parents | 71bafe66dbe1 |
children |
line wrap: on
line diff
--- a/tests/cut.ur Tue Nov 11 18:39:38 2008 -0500 +++ b/tests/cut.ur Tue Nov 11 19:20:37 2008 -0500 @@ -1,6 +1,7 @@ val r = {A = 1, B = "Hi", C = 0.0} val rA = r -- #A +val rB = r --- [A = _, C = _] -val main : unit -> page = fn () => <html><body> - {cdata rA.B} -</body></html> +fun main () : transaction page = return <xml> + {cdata rA.B}, {cdata rB.B} +</xml>