diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-11-11 19:20:37 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-11-11 19:20:37 -0500 |
| commit | 1c1a33420c69bd2c75aa9986830020869e983e6e (patch) | |
| tree | 99c1c46f59df9c378621aa8d05b072d50a81698e /tests/cut.ur | |
| parent | 1d3089850988710149c0fd8d4a72aa3339e6caca (diff) | |
Add CutMulti
Diffstat (limited to 'tests/cut.ur')
| -rw-r--r-- | tests/cut.ur | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/tests/cut.ur b/tests/cut.ur index 6b7b4ef3..7d0ee77a 100644 --- a/tests/cut.ur +++ b/tests/cut.ur @@ -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> |