X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=code%2Ftree_monadize.ml;h=6dff768d0de36d5b0d8f921a6cc1299ff5b08edb;hp=d38800a7bf03ae49e699d6efe7a003c1bf06e1b1;hb=ebed7bf68237f042849d0ebfeed8095a5f7d14a4;hpb=b7aef174959119fd62706cd966ca74859bbdf292 diff --git a/code/tree_monadize.ml b/code/tree_monadize.ml index d38800a7..6dff768d 100644 --- a/code/tree_monadize.ml +++ b/code/tree_monadize.ml @@ -113,7 +113,7 @@ module TreeList = Tree_monadizer(struct end);; -(* since the continuation monad is parameterized on two types---it's +(* since the Continuation monad is parameterized on two types---it's * ('a,'r) cont not ('a) cont---we can't match the type ('a) m that * Tree_monadizer expects in its parameter. So we have to make a different * Tree_monadizer2 that takes a ('a,'x) m type constructor in its