summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-07-24 10:09:21 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-07-24 10:09:21 -0400
commit9e860c86c7d9c763deb9d51490a6766d9c72ed25 (patch)
tree7ba7c7cada5e7afa00c3e46879eb9974849286cf /tests
parentf19ae3bb20fa0c60e737606949b2bec6e3ae04f9 (diff)
Record cut
Diffstat (limited to 'tests')
-rw-r--r--tests/cut.lac6
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/cut.lac b/tests/cut.lac
new file mode 100644
index 00000000..6b7b4ef3
--- /dev/null
+++ b/tests/cut.lac
@@ -0,0 +1,6 @@
+val r = {A = 1, B = "Hi", C = 0.0}
+val rA = r -- #A
+
+val main : unit -> page = fn () => <html><body>
+ {cdata rA.B}
+</body></html>