From 593c3fe600a5f5e90a6eea3a175f83d3319b4efe Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Mon, 9 Dec 2013 21:10:28 +0100
Subject: monads: Fix 'anym'.

* guix/monads.scm (anym): Fix successful case.
* tests/monads.scm ("anym"): New test.
---
 tests/monads.scm | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'tests/monads.scm')

diff --git a/tests/monads.scm b/tests/monads.scm
index 7fc2aa90c1..d3f78e1568 100644
--- a/tests/monads.scm
+++ b/tests/monads.scm
@@ -163,6 +163,18 @@
          %monads
          %monad-run))
 
+(test-assert "anym"
+  (every (lambda (monad run)
+           (eq? (run (with-monad monad
+                       (let ((lst (list (return 1) (return 2) (return 3))))
+                         (anym monad
+                               (lambda (x)
+                                 (and (odd? x) 'odd!))
+                               lst))))
+                'odd!))
+         %monads
+         %monad-run))
+
 (test-end "monads")
 
 
-- 
cgit v1.2.3