From 5c5e76d8a816e08b8f251daf826761aae9290ed3 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 3 Nov 2013 19:27:30 -0500
Subject: ListPair.map2, based on code by escalier@riseup.net

---
 tests/listpair.ur | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 tests/listpair.ur

(limited to 'tests/listpair.ur')

diff --git a/tests/listpair.ur b/tests/listpair.ur
new file mode 100644
index 00000000..4ecacfd3
--- /dev/null
+++ b/tests/listpair.ur
@@ -0,0 +1,6 @@
+val x = 1 :: 2 :: []
+val y = 3 :: 4 :: []
+
+fun main () : transaction page = return <xml>
+  {[ListPair.map2 plus x y]}
+</xml>
-- 
cgit v1.2.3