13 Oct
2007
13 Oct
'07
2:57 a.m.
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.