[darcs-devel] darcs patch: Change read_repo to return SealedPatchSet (and 2 more)

[Jason Dagit]

On Feb 8, 2008 5:34 PM, Jason Dagit <dagit at codersbase.com> wrote:
>
> Fri Feb  8 17:32:15 PST 2008  Jason Dagit <dagit at codersbase.com>
>   * 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