[Haskell-cafe] Dual Parser Failure???

[Albert Y. C. Lai]

PR Stanley wrote:
> failure :: (Parser a) failure = \inp -> []
> The code might contain some syntax errors and I'd be grateful for any 
> corrections.

It looks right conceptually. Depending on the definition of Parser, you 
may need

failure = P (\inp -> [])

or whatever constructor name instead of P.

The type checker will know.

I don't know about dual parser failure.