7 Feb
2008
7 Feb
'08
5:54 a.m.
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