summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-11-25 08:52:32 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-11-25 08:52:32 -0500
commit92ef621511425ae4ffb2873f4ce9d31ad0f0ed5d (patch)
treec04288b7d24fcc901df4cf0fb8aa42263d3f585f /tests
parentc88ae0814f322f82e8daf53b19086326bbca0327 (diff)
Refactor compile functions; allow empty tag contents
Diffstat (limited to 'tests')
-rw-r--r--tests/ntags.ur4
-rw-r--r--tests/ntags.urp2
-rw-r--r--tests/ntags.urs1
3 files changed, 7 insertions, 0 deletions
diff --git a/tests/ntags.ur b/tests/ntags.ur
new file mode 100644
index 00000000..74a78d85
--- /dev/null
+++ b/tests/ntags.ur
@@ -0,0 +1,4 @@
+fun main () = return <xml><body>
+ <div></div>
+ <div><div></div></div>
+</body></xml>
diff --git a/tests/ntags.urp b/tests/ntags.urp
new file mode 100644
index 00000000..786f0bd2
--- /dev/null
+++ b/tests/ntags.urp
@@ -0,0 +1,2 @@
+
+ntags
diff --git a/tests/ntags.urs b/tests/ntags.urs
new file mode 100644
index 00000000..6ac44e0b
--- /dev/null
+++ b/tests/ntags.urs
@@ -0,0 +1 @@
+val main : unit -> transaction page