Simon Peyton Jones ([EMAIL PROTECTED]) wrote:
[static]
: said, some functions are legitimately bottom. But think about assertions:
:
: f x = assert (p x) (...x...)
:
: where assert :: Bool -> a -> a
I like that. Also I would like a
assertAndBelieveMe which could be used to as in:
quot' a b | assertAndBelieveMe (b /= 0) = quot a b
So that a special version of quot could be used
which would not check for b == 0.
: Life is short. Are these features that would be useful to lots of people?
Yes please.
Regards,
Marc van Dongen
