return len
where
extension ∷ Parser ()
- extension = skipMany $
- do _ ← char ';'
- _ ← token
- _ ← char '='
- _ ← token <|> quotedStr
- return ()
+ extension
+ = skipMany ( char ';' *>
+ token *>
+ char '=' *>
+ (token <|> quotedStr) )
chunkFooterP ∷ Parser ()
chunkFooterP = crlf