25 Oct
2006
25 Oct
'06
2:45 a.m.
Samuel Bronson
On 10/24/06, Russell O'Connor
wrote: Why have a function body at all? Shouldn't the type signature be sufficent?
Remember that type signatures need not be adjacent to function definitions. Now ponder what would happen if you forgot to define a function. Have a clue why it isn't sufficient now?
If you turn on -Wall in GHC, you would get a warning that your pattern coverage is incomplete. We should make it so that if the pattern coverage is incomplete and there is no function body, then that is an error.