Commits

Anonymous committed f4421b3

+ it_ignore_or_fail

  • Participants
  • Parent commits 717b3fd

Comments (0)

Files changed (1)

File iteratees.ml

 ;
 
 
+value rec it_ignore_or_fail : iteratee 'el unit =
+  IE_cont None it_ignore_step
+and it_ignore_step = fun
+  [ EOF None as s -> ie_doneM () s
+  | (EOF (Some e)) as s -> ie_errorMsl e (Sl.one s)
+  | Chunk _ -> ie_contM it_ignore_step
+  ]
+;
+
+
 value rec it_ignore : iteratee 'el unit =
   IE_cont None it_ignore_step
 and it_ignore_step = fun