From: Jim Pryor Date: Mon, 13 Dec 2010 06:43:33 +0000 (-0500) Subject: transformers tweak X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=1c001b2bea36e4660e301b827d157aecc5daa7ad transformers tweak Signed-off-by: Jim Pryor --- 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: