> So what does Cayenne do if you don't declare the type for `push'?
> Does it report an error?
The basic principle in Cayenne is that you need type signatures
everywhere. This is sometimes rather verbose and is relaxed
in some cases, but not here. If you omit the type signature
the compiler wi
On 25-Feb-1999, Lennart Augustsson <[EMAIL PROTECTED]> wrote:
>
> [someone wrote:]
> > I've lost track of what we're talking about here. In what system can
> > we not hope for principal types?
>
> [...] Cayenne doesn't have that property.
> Again, I think this is a feature, not a bug. I'll incl
On 26-Feb-1999, Lennart Augustsson <[EMAIL PROTECTED]> wrote:
>
> > This occurs because in the absense of type declarations,
> > Haskell assumes that any recursion will be monomorphic,
> > which is in general not necessarily the case.
>
> As I'm sure you know, type inference is in general impossi