comparison 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
comparison
equal deleted inserted replaced
492:4a241d108a2c 493:ae03d09043c1
1 val r = {A = 1, B = "Hi", C = 0.0} 1 val r = {A = 1, B = "Hi", C = 0.0}
2 val rA = r -- #A 2 val rA = r -- #A
3 val rB = r --- [A = _, C = _]
3 4
4 val main : unit -> page = fn () => <html><body> 5 fun main () : transaction page = return <xml>
5 {cdata rA.B} 6 {cdata rA.B}, {cdata rB.B}
6 </body></html> 7 </xml>