I wrote:
> The Curry type checker *is* correct (I'm sure, since I wrote it :-).
It turns out that my claim is wrong -- at least as far as MCC 0.9.10 and
PAKCS 1.7.2 are concerned. Both implementations accept the following
program even though it is not type correct
strangeList = x=:=1 &> f True "Hello"
where (x:xs) = f True (repeat unknown)
f _ [] = []
f b (y:ys) = (if b then y else x) : f (not b) ys
I've fixed this bug recently in MCC's source tree and maybe someone can
apply the fix to PAKCS' source tree.
Regards
Wolfgang
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mo Dez 18 2006 - 12:39:18 CET