@@ -315,7 +315,8 @@ mapMStep f res =
315-- results into a new state and a command to the driver represented by 'Step'
315-- results into a new state and a command to the driver represented by 'Step'
316-- type. The driver keeps invoking the step function until it stops or fails.
316-- type. The driver keeps invoking the step function until it stops or fails.
317-- At any point of time the driver can call @extract@ to inspect the result of
317-- At any point of time the driver can call @extract@ to inspect the result of
318+-- the fold. If the parser hits the end of input 'extract' is called.
318−-- the fold. It may result in an error or an output value.
319+-- It may result in an error or an output value.
320-- /Pre-release/
321-- /Pre-release/