X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=code%2Ftree_monadize.ml;h=55b0f7b0080a76510a940ff1916281c929472b28;hp=43ef659f0ad5162eabe0d915a8e90dccdab7ebb6;hb=c3395c03cdde647d084ca1ca2917adf7c3ec3838;hpb=2214dd1acc23cde1348206b9ed29200670cc4abf diff --git a/code/tree_monadize.ml b/code/tree_monadize.ml index 43ef659f..55b0f7b0 100644 --- a/code/tree_monadize.ml +++ b/code/tree_monadize.ml @@ -115,7 +115,7 @@ let t1 = Node module Tree_monadizer(X : sig (* the module we're using as a parameter has to supply function values - * for unit and bind, as well as a monadic type constructor m *) + * for unit and bind, as well as a monadic type constructor *) type 'a monad val unit : 'a -> 'a monad val bind : 'a monad -> ('a -> 'b monad) -> 'b monad @@ -197,7 +197,7 @@ let env = fun i -> i + i in TreeReader.monadize int_readerize t1 env;; (* You can also avoid declaring a separate toplevel TreeReader module - * (or even a separate Reader_monad module) by ysing one of these forms: + * (or even a separate Reader_monad module) by using one of these forms: * ... * let module T = Tree_monadizer(Reader_monad) in * T.monadize int_readerize t1 env;;