aboutsummaryrefslogtreecommitdiffhomepage
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-07-03 16:26:28 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-07-03 16:26:28 -0400
commita4a7692d226262376d2cea2480033227f885cd7e (patch)
treeb3ffa7341fa823b37569845c5890dd24700fae69 /tests
parentb2eb9f45b9b14e5c7f53d0ad7ca8e84aa7858b59 (diff)
Basic XML stuff
Diffstat (limited to 'tests')
-rw-r--r--tests/html.lac3
1 files changed, 3 insertions, 0 deletions
diff --git a/tests/html.lac b/tests/html.lac
new file mode 100644
index 00000000..96966014
--- /dev/null
+++ b/tests/html.lac
@@ -0,0 +1,3 @@
+val text : xml[Html] = <html>
+ <head/>
+</html>