[Haskell-cafe] Signature for non-empty filter
matthew.pocock at ncl.ac.uk
Wed Feb 6 16:54:11 EST 2008
On Wednesday 06 February 2008, Henning Thielemann wrote:
> If the type checker does not terminate because the checked function does
> not terminate on the example input, then the function does not pass the
> type check and as a compromise this would be ok.
Can't fault this logic. The problem is that you may have to wait quite a long
time to discover this non-termination.
More information about the Haskell-Cafe