[Haskell-cafe] Documenting the impossible

[Neil Mitchell]

Hi

> > * 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.

Thanks

Neil