I forgot to post my definition of prec:
prec :: a -> (Nat -> a -> a) -> Nat -> a
prec mz _ Zero = mz
prec mz ms (Suc n) = ms n (prec mz ms n)
Currently, I think the Curry type checker infers a type that is not
general enough. So maybe you spotted a bug again ;) In any case, I
don't think that a free variable and undefined should type-check
differently. So, maybe "cursor :: a" should be the correct type, even
if mz was a free variable (?)
Cheers,
Sebastian
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Fr Dez 15 2006 - 15:05:21 CET