git.iko.soy/typeable/attoparsec
on master help sign in
Fix description of invariants.
commit039f9eb8894a4b4d8cbc87345b779939ba9744ce authorBryan O'Sullivan <bos@serpentine.com> dateTue 30 Dec 2008, 23:08 (18 years ago) parent24b8394
1 file changed+2−3
src/Data/ParserCombinators/Attoparsec/Internal.hs+2−3
src/Data/ParserCombinators/Attoparsec/Internal.hs+2−3
@@ -82,9 +82,8 @@ import Prelude hiding (takeWhile)
8282type ParseError = String
8383
8484-- State invariants:
85−-- * If the strict bytestring is empty, the entire input is considered
86−-- to be empty.
87−-- * Otherwise, the strict bytestring must not be empty.
85+-- * If both strict and lazy bytestrings are empty, the entire input
86+-- is considered to be empty.
8887data S = S {-# UNPACK #-} !SB.ByteString
8988 LB.ByteString
9089 {-# UNPACK #-} !Int64