@@ -82,9 +82,8 @@ import Prelude hiding (takeWhile)
82type ParseError = String
82type ParseError = String
84-- State invariants:
84-- State invariants:
85−-- * If the strict bytestring is empty, the entire input is considered
85+-- * If both strict and lazy bytestrings are empty, the entire input
86−-- to be empty.
86+-- is considered to be empty.
87−-- * Otherwise, the strict bytestring must not be empty.
88data S = S {-# UNPACK #-} !SB.ByteString
87data S = S {-# UNPACK #-} !SB.ByteString
89 LB.ByteString
88 LB.ByteString
90 {-# UNPACK #-} !Int64
89 {-# UNPACK #-} !Int64