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>