Commits

Anonymous committed 085fe95

.

Comments (0)

Files changed (2)

     , "        type m +'a;"
     )
   ; ( "          Iteratees.Make(It_IO).Subarray.t 'a == private"
-    , "          private"
+    , "          C.t 'a == private"
     )
   ; ( "          Iteratees.Make(It_IO).S.t 'a == private"
-    , "          private"
+    , "          Subarray.C.t 'a == private"
     )
   ; ( "      Iteratees.Make(It_IO).iteratee 'a 'b =="
     , ""
     , "        type uchar = private int;"
     )
   ; ( "              Iteratees.Make(It_IO).S.C.t 'a == private"
-    , "              private"
+    , "              Subarray.C.t 'a == private"
     )
   ; ( "              Iteratees.Make(It_IO).Subarray.C.t 'a == private"
     , "              private"
 
 (* Useful combinators for implementing iteratees and enumerators *)
 
-value empty_stream = Chunk S.empty
+value empty_stream = Chunk Subarray.empty
 ;
 
 
 *)
 
 value break_limit ~pred ~limit
-: iteratee 'a ([= `Found | `Hit_limit | `Hit_eof] * S.t 'a) =
+: iteratee 'a ([= `Found | `Hit_limit | `Hit_eof] * Subarray.t 'a) =
   IE_cont None (step ~sc:(SC.make [S.empty]) ~left:limit)
   where rec step ~sc ~left s =
     let ret status sc s =