Ben Rudiak-Gould <[EMAIL PROTECTED]> writes:
> I may be confused, but I don't think it does. It seems like the OP
> wants a type like
>
> data Perhaps a = Success a | Failure [Error]
When writing a compiler, it makes sense to collect errors as by the
writer monad, and not abort anything - producing dummy values instead
(except perhaps some fatal errors when it's inconvenient).
--
__("< Marcin Kowalczyk
\__/ [EMAIL PROTECTED]
^^ http://qrnik.knm.org.pl/~qrczak/
_______________________________________________
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe
