summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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