On 12/9/06, David Roundy <[EMAIL PROTECTED]> wrote:
Hi all,

I've just started (an hour ago) converting all the (PatchInfo, Maybe Patch)
instances in darcs to (PatchInfo, Hopefully Patch) where

data Hopefully a = Actually a | Unavailable String

Is there a reason to not use 'Either a String' instead?  That's the
common way to handle error propagation (Either is a commonly used
instance of MonadError).

Obviously creating new datatypes is easy in Haskell, but is it the
right thing here?  Maybe we just need 'type Hopefully a = Either a
String' instead.

Jason

_______________________________________________
darcs-devel mailing list
[email protected]
http://www.abridgegame.org/cgi-bin/mailman/listinfo/darcs-devel

Reply via email to