Doesn't the -Wall flag pick that up? -deech On 8/6/10, Colin Paul Adams <colin@colina.demon.co.uk> wrote:
"Brent" == Brent Yorgey <byorgey@seas.upenn.edu> writes:
>> Since Haskell allows programming with partial functions, you >> always have this burden at present.
Brent> Yes. But that doesn't mean there isn't value in the Brent> discipline of avoiding them. The burden of making sure you Brent> never use fromJust (or head, or ...) is much lighter than the Brent> burden of proving that every such use is safe.
The burden is knowing whether or not a function is partial. It's that or ... that is the problem. This isn't flagged anywhere. -- Colin Adams Preston Lancashire () ascii ribbon campaign - against html e-mail /\ www.asciiribbon.org - against proprietary attachments