@@ -2531,24 +2531,24 @@ lookAhead (Parser step1 initial1 _) = Parser step initial extract
25312531 initial = do
25322532 res <- initial1
25332533 return $ case res of
2534− IPartial s -> IPartial (Tuple' 0 s)
2534+ IPartial s -> IPartial (Tuple'Fused 0 s)
25352535 IDone b -> IDone b
25362536 IError e -> IError e
25372537
2538− step (Tuple' cnt st) a = do
2538+ step (Tuple'Fused cnt st) a = do
25392539 r <- step1 st a
25402540 let cnt1 = cnt + 1
25412541 return
25422542 $ case r of
2543− Partial n s -> Continue n (Tuple' (cnt1 - n) s)
2544− Continue n s -> Continue n (Tuple' (cnt1 - n) s)
2543+ Partial n s -> Continue n (Tuple'Fused (cnt1 - n) s)
2544+ Continue n s -> Continue n (Tuple'Fused (cnt1 - n) s)
25452545 Done _ b -> Done cnt1 b
25462546 Error err -> Error err
25472547
25482548 -- XXX returning an error let's us backtrack. To implement it in a way so
25492549 -- that it terminates on eof without an error then we need a way to
25502550 -- backtrack on eof, that will require extract to return 'Step' type.
2551− extract (Tuple' n _) =
2551+ extract (Tuple'Fused n _) =
25522552 return
25532553 $ Error
25542554 $ "lookAhead: end of input after consuming "