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

[David Roundy]

On Sun, Dec 10, 2006 at 07:45:15PM +0100, Tommy Pettersson wrote:
> 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... :-)

Actually, I started out with Either, and only realized later that I'd
prefer a special type.  :)
-- 
David Roundy
Department of Physics
Oregon State University