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