From 05e225da2292680d562e597e6ca990bfe2bd0462 Mon Sep 17 00:00:00 2001 From: Arun Isaac Date: Sat, 20 Jun 2026 10:45:33 +0100 Subject: monads: Bind all expressions in mbegin monadically. mbegin should bind all expressions monadically, not just the first. If not, all expressions but the first are ignored. --- ravanan/work/monads.scm | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/ravanan/work/monads.scm b/ravanan/work/monads.scm index 866e1d7..7fd7e79 100644 --- a/ravanan/work/monads.scm +++ b/ravanan/work/monads.scm @@ -1,5 +1,5 @@ ;;; ravanan --- High-reproducibility CWL runner powered by Guix -;;; Copyright © 2024, 2025 Arun Isaac +;;; Copyright © 2024–2026 Arun Isaac ;;; ;;; This file is part of ravanan. ;;; @@ -72,7 +72,8 @@ ((monad-bind monad-type) first-expression (lambda _ - body ...))))) + (mbegin monad-type + body ...)))))) (define (sequence monad-type mvalues) "Convert a list of monadic @var{mvalues} in @var{monad-type} into a monadic list -- cgit 1.4.1