projects
/
lambda.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge branch 'pryor'
[lambda.git]
/
code
/
tree_monadize.ml
diff --git
a/code/tree_monadize.ml
b/code/tree_monadize.ml
index
43ef659
..
55b0f7b
100644
(file)
--- 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
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
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
TreeReader.monadize int_readerize t1 env;;
(* You can also avoid declaring a separate toplevel TreeReader module
- * (or even a separate Reader_monad module) by
y
sing one of these forms:
+ * (or even a separate Reader_monad module) by
u
sing one of these forms:
* ...
* let module T = Tree_monadizer(Reader_monad) in
* T.monadize int_readerize t1 env;;
* ...
* let module T = Tree_monadizer(Reader_monad) in
* T.monadize int_readerize t1 env;;