Commits

Anonymous committed 381777d

everything needed to use 'iteratees as one module' is moved under functor over IO, no matter whether it uses IO really (exceptions, type stream 'el and so on)

Comments (0)

Files changed (1)

 open Dbg
 ;
 
-module S = Subarray
+open It_Types
 ;
 
-open It_Types
+module Make (IO : MonadIO)
+=
+struct
+
+module It_IO = IO;
+
+module Subarray = Subarray
+;
+
+module S = Subarray
 ;
 
 (* +
 
 type stream 'el =
   [ EOF of option err_msg
-  | Chunk of S.t 'el
+  | Chunk of Subarray.t 'el
   ]
 ;
 
   ]
 ;
 
-
-module Make (IO : MonadIO)
-=
-struct
-
-module It_IO = IO;
-
 value ( >>% ) m f = IO.bind f m;
 
 (* +