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. Matthew _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
