From 1c001b2bea36e4660e301b827d157aecc5daa7ad Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Mon, 13 Dec 2010 01:43:33 -0500 Subject: [PATCH] transformers tweak Signed-off-by: Jim Pryor --- monad_transformers.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/monad_transformers.mdwn b/monad_transformers.mdwn index f6de5308..26fb13ff 100644 --- a/monad_transformers.mdwn +++ b/monad_transformers.mdwn @@ -467,7 +467,7 @@ The meaning of `shift` will be explained in [[CPS and Continuation Operators]]. TreeCont.monadize (fun a -> fun k -> k (a*a)) t1 (fun t -> t);; -But because of the way our monad library hides the underlying machinery, you can't just say `fun k -> k (a*a)`, you have to say `shift (fun k -> k (a*a))`. +But because of the way our monad library hides the underlying machinery, here you can no longer just say `fun k -> k (a*a)`; you have to say `shift (fun k -> k (a*a))`. Moving on, we can count the leaves: