Commit e3c722a6 authored by Bruno BELANYI's avatar Bruno BELANYI
Browse files

vmmonad: add backwards-compatible MonadFail compliance

The `fail` method on `Monad` has been removed in `ghc` 8.8+, I added a
conditional compilation statement according to what was indicated in the
following wiki article:

* src/VMMonad.hs: Here.
parent eae0f88e
Pipeline #16950 passed with stage
in 3 minutes and 9 seconds
module VMMonad (Mnd,
run, lift,
rfetch, rstore, rpush, rpop,
......@@ -24,6 +26,7 @@ import Memory (Memory)
import Annotation (Ann)
import Opt (OptVal)
import Control.Monad (ap, liftM)
-- Control.Monad.Fail import has become redundant in GHC 8.8+
import qualified Control.Monad.Fail as Fail
import qualified Cpu (initialize, rfetch, rstore, rpush, rpop)
import qualified Code (initialize, cload, cfind, cstore, cfetch)
......@@ -62,7 +65,10 @@ instance Monad Mnd where
do x <- c r
case f x of (Mnd c') -> c' r
#if !(MIN_VERSION_base(4,13,0))
-- Monad(fail) is removed in GHC 8.8+
fail =
instance Fail.MonadFail Mnd where
fail = error "fail: invalid pattern matching"
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment