Some things look tricky still. For example,
tentativelyMergePatches_ :: forall p C(r u t y x). RepoPatch p
=> MakeChanges
-> String -> [DarcsFlag]
-> FL (PatchInfoAnd p) C(x r) -> FL
(PatchInfoAnd p) C(x y)
-> IORepo (RepoInState C(r u t)) (Sealed
(RepoInState C(r u))) (Sealed (FL Prim C(u)))
Is that right? I think it is, but now well have to deal with sealed
states in (>>>=).
Hopefully I'm missing something silly.
Jason
_______________________________________________
darcs-users mailing list
[email protected]
http://lists.osuosl.org/mailman/listinfo/darcs-users
