GNU bug report logs - #63191
[PATCH] website: posts: Fix typos in Dissecting Guix, Part 2: The Store Monad.

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 63191 in the body.
You can then email your comments to 63191 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Wolf <wolf <at> wolfsden.cz>
To: guix-patches <at> gnu.org
Cc: Wolf <wolf <at> wolfsden.cz>
Subject: [PATCH] website: posts: Fix typos in Dissecting Guix,
 Part 2: The Store Monad.
Date: Sun, 30 Apr 2023 18:22:17 +0200

* website/posts/dissecting-guix-2-store-monad.md: Fix typos.
---

Missing `we'. I've also tweaked one code example, since the output in the
blogpost did not match the code. Probably just a typo.

 website/posts/dissecting-guix-2-store-monad.md | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/website/posts/dissecting-guix-2-store-monad.md b/website/posts/dissecting-guix-2-store-monad.md
index cd48d3e..da512ee 100644
--- a/website/posts/dissecting-guix-2-store-monad.md
+++ b/website/posts/dissecting-guix-2-store-monad.md
@@ -169,8 +169,8 @@ First of all, we'll revert to our original definitions of `remove-a` and
       (nothing)))
 ```
 
-What if tried introducing higher-order procedures (procedures that accept other
-procedures as arguments) into the equation?  Because we're functional
+What if we tried introducing higher-order procedures (procedures that accept
+other procedures as arguments) into the equation?  Because we're functional
 programmers and we have an unhealthy obsession with that sort of thing.
 
 ```scheme
@@ -320,8 +320,8 @@ expressions to symbols, and are essentially equivalent to a chain of
 ;; This is equivalent...
 (mlet* %maybe-monad ((str -> "abad") ;non-monadic binding uses the -> symbol
                      (str1 (remove-a str))
-                     (str2 (remove-b str)))
-  (remove-a str))
+                     (str2 (remove-b str1)))
+  (remove-a str2))
 ⇒ #<<maybe> is?: #t value: "d">
 
 ;; ...to this:
@@ -330,9 +330,9 @@ expressions to symbols, and are essentially equivalent to a chain of
        (lambda (str)
          (remove-a str))
        (lambda (str1)
-         (remove-b str))
+         (remove-b str1))
        (lambda (str2)
-         (remove-a str))))
+         (remove-a str2))))
 ```
 
 Various abstractions over these two exist too, such as `mwhen` (a `when` plus an
-- 
2.39.2

Message #10 received at 63191-done <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: Wolf <wolf <at> wolfsden.cz>
Cc: 63191-done <at> debbugs.gnu.org
Subject: Re: bug#63191: [PATCH] website: posts: Fix typos in Dissecting
 Guix, Part 2: The Store Monad.
Date: Fri, 19 May 2023 17:29:36 +0200

Hi,

Wolf <wolf <at> wolfsden.cz> skribis:

> * website/posts/dissecting-guix-2-store-monad.md: Fix typos.

Applied, thank you!

Ludo’.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.