add Unreliable Guide OCaml Modules

[lambda.git] / code / reader2.ml

diff --git a/code/reader2.ml b/code/reader2.ml
index 10d61e3..bf561aa 100644 (file)
--- a/code/reader2.ml
+++ b/code/reader2.ml
@@ -4,8 +4,8 @@ module rec E : sig
 end = E
 and R : Monad.READER with type env = E.env = struct
   type env = E.env
-  module Made = Monad.Reader(E)
-  include Made.M
+  module R_E = Monad.Reader(E)
+  include = R_E.M
 end
 
 
@@ -33,5 +33,5 @@ let letf ff body = R.(ff >>= fun f -> shift (insert 'f' (E.Fun f)) body)
 (* monadic version of `let x = 2 in let f = \y -> y + x in f 3` *)
 let (expr4 : int R.t) = R.(letx (mid 2) (letf (mid lambda1) (getf >>= fun f -> f (mid 3))))
 
-let res = R.run expr4 env0
+let res = R.run expr4 env0 (* will be 5 *)