summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2010-09-07 09:21:51 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2010-09-07 09:21:51 -0400
commit2da3f4c86d4fbdfb2c88d7db3c1d9cc5f6e39092 (patch)
treeb32ff8b698da1f9a4003cd4dc076756f2447d674 /tests
parentcdd504ea9f9dcf4cfe18756e48319b7a9df296cd (diff)
Shortcut invocations for single .ur files
Diffstat (limited to 'tests')
-rw-r--r--tests/solo.ur1
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/solo.ur b/tests/solo.ur
new file mode 100644
index 00000000..c3d5cb71
--- /dev/null
+++ b/tests/solo.ur
@@ -0,0 +1 @@
+fun main () : transaction page = return <xml>Gnarly!</xml>