Re: type-directed programming

From: Sebastian Fischer <>
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 (?)


curry mailing list
Received on Fr Dez 15 2006 - 15:05:21 CET

This archive was generated by hypermail 2.3.0 : Do Mai 23 2024 - 07:15:08 CEST