[Haskell-cafe] Signature for non-empty filter

Matthew Pocock 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 mailing list