From d406ca1da0d732706d6e9b13ed3cb06022e32735 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Tue, 14 Dec 2010 06:42:00 -0500 Subject: [PATCH] cps tweaks Signed-off-by: Jim Pryor --- cps_and_continuation_operators.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cps_and_continuation_operators.mdwn b/cps_and_continuation_operators.mdwn index b1f6c69d..2c3f3560 100644 --- a/cps_and_continuation_operators.mdwn +++ b/cps_and_continuation_operators.mdwn @@ -272,7 +272,7 @@ The third example is more difficult to make work with the monadic library, becau # C.(run0 (callcc (fun k -> unit (1,`Box k)) >>= fun (p1,`Box p2) -> p2 (2,`Box unit) >>= fun p2' -> unit (p1,p2')));; - : int * (int * [ `Box of 'b -> ('a, 'b) C.m ] as 'b) as 'a = -(2, (2, `Box )) + (2, (2, `Box )) -- 2.11.0