From a4bcc72f9e763e49b3ffefff09b1fe8924e440e1 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 19 May 2012 11:32:12 -0400
Subject: Some standard library additions from Edward Z. Yang

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

(limited to 'tests/monadTest.ur')

diff --git a/tests/monadTest.ur b/tests/monadTest.ur
new file mode 100644
index 00000000..16a10f74
--- /dev/null
+++ b/tests/monadTest.ur
@@ -0,0 +1,3 @@
+val x : transaction int = Monad.liftM2 plus (return 1) (return 2)
+
+val x : transaction xbody = List.mapXiM (fn i x => return <xml><li>{[i]} = {[x]}</li></xml>) (1 :: 2 :: [])
-- 
cgit v1.2.3