[darcs-devel] [patch594] drop unneeded MonadPlus AnnotatedM instance

Petr Rockai me at mornfall.net
Thu Apr 28 16:11:00 UTC 2011


Ganesh Sittampalam <bugs at darcs.net> writes:

drop unneeded MonadPlus AnnotatedM instance
-------------------------------------------
>  type AnnotatedM = State Annotated
>  
> -instance MonadPlus AnnotatedM where -- :(
> -    mplus a b = a >> b -- this is wrong, but we can't catch here
> -
>  instance ApplyMonad AnnotatedM where
>    mDoesDirectoryExist _ = return True
>    mReadFilePS = fail "mReadFilePS undefined for Annotated"

ACK

-- 
id' Ash = Ash; id' Dust = Dust; id' _ = undefined


More information about the darcs-devel mailing list