summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-05-14 08:15:36 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-05-14 08:15:36 -0400
commit22b407de7cf9ee5cc5947369372d9ca8373134a6 (patch)
tree0471a3f9c6149b8d3c0451bce03a494dbc938a98
parentfdc4582e7fbfaecebaa2d27660a0184d9949b232 (diff)
Testing custom paths
-rw-r--r--tests/aux/aux.ur1
-rw-r--r--tests/pathmap.ur3
-rw-r--r--tests/pathmap.urp2
3 files changed, 5 insertions, 1 deletions
diff --git a/tests/aux/aux.ur b/tests/aux/aux.ur
new file mode 100644
index 00000000..41edf353
--- /dev/null
+++ b/tests/aux/aux.ur
@@ -0,0 +1 @@
+val hello = "Hello!"
diff --git a/tests/pathmap.ur b/tests/pathmap.ur
index 44699048..2ce1f5f0 100644
--- a/tests/pathmap.ur
+++ b/tests/pathmap.ur
@@ -3,5 +3,6 @@ val y = List.mp (plus 2) x
fun main () : transaction page = return <xml><body>
{[x]}<br/>
- {[y]}
+ {[y]}<br/>
+ {[Aux.hello]}
</body></xml>
diff --git a/tests/pathmap.urp b/tests/pathmap.urp
index 1270b40c..70373e65 100644
--- a/tests/pathmap.urp
+++ b/tests/pathmap.urp
@@ -1,3 +1,5 @@
+path extra=aux
$/list
+$extra/aux
pathmap