@@ -996,7 +996,7 @@ parselMx' pstep initial extract (Stream step state) = do
996 PR.Yield n pst1 -> do
996 PR.Yield n pst1 -> do
997 assert (n <= length (x:buf)) (return ())
997 assert (n <= length (x:buf)) (return ())
998 go SPEC s (Prelude.take n (x:buf)) pst1
998 go SPEC s (Prelude.take n (x:buf)) pst1
999− -- PR.Skip 0 pst1 -> go SPEC s (x:buf) pst1
999+ PR.Skip 0 pst1 -> go SPEC s (x:buf) pst1
1000 PR.Skip n pst1 -> do
1000 PR.Skip n pst1 -> do
1001 assert (n <= length (x:buf)) (return ())
1001 assert (n <= length (x:buf)) (return ())
1002 let (src0, buf1) = splitAt n (x:buf)
1002 let (src0, buf1) = splitAt n (x:buf)
@@ -1014,7 +1014,7 @@ parselMx' pstep initial extract (Stream step state) = do
1014 PR.Yield n pst1 -> do
1014 PR.Yield n pst1 -> do
1015 assert (n <= length (x:buf)) (return ())
1015 assert (n <= length (x:buf)) (return ())
1016 gobuf SPEC s (Prelude.take n (x:buf)) xs pst1
1016 gobuf SPEC s (Prelude.take n (x:buf)) xs pst1
1017− -- PR.Skip 0 pst1 -> gobuf SPEC s (x:buf) xs pst1
1017+ PR.Skip 0 pst1 -> gobuf SPEC s (x:buf) xs pst1
1018 PR.Skip n pst1 -> do
1018 PR.Skip n pst1 -> do
1019 assert (n <= length (x:buf)) (return ())
1019 assert (n <= length (x:buf)) (return ())
1020 let (src0, buf1) = splitAt n (x:buf)
1020 let (src0, buf1) = splitAt n (x:buf)