[darcs-devel] changing (PatchInfo, Maybe Patch) to (PatchInfo, Hopefully Patch)

[Tommy Pettersson]

On Sat, Dec 09, 2006 at 10:37:15AM -0800, David Roundy wrote:
> Hi all,
> 
> I've just started (an hour ago) converting all the (PatchInfo, Maybe Patch)
> instances in darcs to (PatchInfo, Hopefully Patch) where
[...]

Great! I have had the same idea for some time (well, I was
thinking of using Either, but a special type is better). No more
"failed to read patch in get_extra", Hopefully... :-)


-- 
Tommy Pettersson <ptp at lysator.liu.se>