[Haskell-cafe] Documenting the impossible

Neil Mitchell ndmitchell at gmail.com
Sat Jun 14 17:16:49 EDT 2008


> > * error - inserted by the compiler
>  Example?

Pattern-match errors.

> > * abort - deliberate aborting because the user made some mistake.
>  This is an exception. The signature of a function must reflect this by a
> Maybe, Either type etc.

Disagree. I mean more like:

when (Delete `elem` flags && Keep `elem` flags) $
   abort "User cannot pick both keep and delete on the command line"

Think "die" in Perl world.



More information about the Haskell-Cafe mailing list