Closed jgm closed 6 years ago
because ExceptT monads are instances of MonadPlus!
Prelude Control.Monad.Except> runExcept $ throwError "hi" `mplus` return "low" Right "low"
Since we use msum, matchers that raise errors are just silently skipped (e.g. IncludeRules when there's no matching syntax or context).
msum
because ExceptT monads are instances of MonadPlus!
Since we use
msum
, matchers that raise errors are just silently skipped (e.g. IncludeRules when there's no matching syntax or context).