A Pointless Library Proposal
Benjamin.Rudiak-Gould at cl.cam.ac.uk
Mon Oct 30 09:38:25 EST 2006
Simon Peyton-Jones wrote:
> I've occasionally wondered about emitting a warning, but not an error,
> when there's a type signature for a function but no definition. The
> compiler could automatically generate an error message stub
> implementation, much as it does for an incomplete pattern match, of
> which this is an extreme example.
I don't like this idea because the necessary stub is different for different
numbers of arguments, and there's no way to tell how many arguments the
programmer intended. I do like the idea of allowing empty case expressions,
though, and I don't think that even a warning would be necessary.
More information about the Libraries