X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=cps_and_continuation_operators.mdwn;h=2c3f35603d9110ed565013c45c68e1c8fb3e6f6c;hp=b1f6c69d7fef98fa4a064ab9984e175c06b568f6;hb=d406ca1da0d732706d6e9b13ed3cb06022e32735;hpb=edeaf26c809f2c20651d00b9edd54e42e5989e7a 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 ))