aboutsummaryrefslogtreecommitdiffhomepage
path: root/tests/pathmap.ur
diff options
context:
space:
mode:
Diffstat (limited to 'tests/pathmap.ur')
-rw-r--r--tests/pathmap.ur7
1 files changed, 7 insertions, 0 deletions
diff --git a/tests/pathmap.ur b/tests/pathmap.ur
new file mode 100644
index 00000000..44699048
--- /dev/null
+++ b/tests/pathmap.ur
@@ -0,0 +1,7 @@
+val x = List.rev (List.Cons (1, List.Cons (0, List.Nil)))
+val y = List.mp (plus 2) x
+
+fun main () : transaction page = return <xml><body>
+ {[x]}<br/>
+ {[y]}
+</body></xml>