Re: type-directed programming

From: Sebastian Fischer <sebf_at_informatik.uni-kiel.de>
Date: Fri, 15 Dec 2006 12:10:51 +0100

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

This archive was generated by hypermail 2.3.0 : Sa Dez 07 2019 - 07:15:07 CET