@@ -2531,24 +2531,24 @@ lookAhead (Parser step1 initial1 _) = Parser step initial extract
2531 initial = do
2531 initial = do
2532 res <- initial1
2532 res <- initial1
2533 return $ case res of
2533 return $ case res of
2534− IPartial s -> IPartial (Tuple' 0 s)
2534+ IPartial s -> IPartial (Tuple'Fused 0 s)
2535 IDone b -> IDone b
2535 IDone b -> IDone b
2536 IError e -> IError e
2536 IError e -> IError e
2538− step (Tuple' cnt st) a = do
2538+ step (Tuple'Fused cnt st) a = do
2539 r <- step1 st a
2539 r <- step1 st a
2540 let cnt1 = cnt + 1
2540 let cnt1 = cnt + 1
2542 $ case r of
2542 $ case r of
2543− Partial 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' (cnt1 - n) s)
2544+ Continue n s -> Continue n (Tuple'Fused (cnt1 - n) s)
2545 Done _ b -> Done cnt1 b
2545 Done _ b -> Done cnt1 b
2546 Error err -> Error err
2546 Error err -> Error err
2548 -- XXX returning an error let's us backtrack. To implement it in a way so
2548 -- XXX returning an error let's us backtrack. To implement it in a way so
2549 -- that it terminates on eof without an error then we need a way to
2549 -- that it terminates on eof without an error then we need a way to
2550 -- backtrack on eof, that will require extract to return 'Step' type.
2550 -- backtrack on eof, that will require extract to return 'Step' type.
2551− extract (Tuple' n _) =
2551+ extract (Tuple'Fused n _) =
2554 $ "lookAhead: end of input after consuming "
2554 $ "lookAhead: end of input after consuming "