Ganesh Sittampalam <bugs@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
|