summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-10-19 12:12:59 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-10-19 12:12:59 -0400
commit8476261d4f4a9a67119abc05cb40907ad979b4de (patch)
tree8c46ce5f2896d194de0e2b1b04c9895e80efc17e /tests
parent98651ecbb17fce5630300f0050f323d7d023cf6b (diff)
Proper generation of relation names; checking that sequences exist
Diffstat (limited to 'tests')
-rw-r--r--tests/pathcheck.ur9
-rw-r--r--tests/pathcheck.urp5
2 files changed, 14 insertions, 0 deletions
diff --git a/tests/pathcheck.ur b/tests/pathcheck.ur
new file mode 100644
index 00000000..6d2359cd
--- /dev/null
+++ b/tests/pathcheck.ur
@@ -0,0 +1,9 @@
+fun ancillary () : transaction page = return <xml/>
+
+fun ancillary () = return <xml>
+ Welcome to the ancillary page!
+</xml>
+
+fun main () : transaction page = return <xml><body>
+ <a link={ancillary ()}>Enter the unknown!</a>
+</body></xml>
diff --git a/tests/pathcheck.urp b/tests/pathcheck.urp
new file mode 100644
index 00000000..42f9af17
--- /dev/null
+++ b/tests/pathcheck.urp
@@ -0,0 +1,5 @@
+debug
+exe /tmp/webapp
+
+pathcheck
+