On Feb 8, 2008 5:34 PM, Jason Dagit <[EMAIL PROTECTED]> wrote: > > Fri Feb 8 17:32:15 PST 2008 Jason Dagit <[EMAIL PROTECTED]> > * make Cache p work with type witnesses
I think this last one does the wrong thing. For some reason if a type signature starts with: RepoPatch p => Cache p Then I have to give two type witnesses to both Cache and p. So I would have to change it to: RepoPatch p => Cache (p C(x y)) C(x y) Instead of what I expected: RepoPatch p => Cache p C(x y) Any idea where I went wrong? Thanks, Jason _______________________________________________ darcs-devel mailing list darcs-devel@darcs.net http://lists.osuosl.org/mailman/listinfo/darcs-devel
