purescript-contrib/purescript-string-parsers

ParseError is `data` when it should be `newtype`

Closed this issue · 0 comments

I can't see a reason why this shouldn't be using newtype:

-- | The type of parsing errors.
newtype ParseError = ParseError String