diff options
author | Gleb Popov <arrowd@FreeBSD.org> | 2020-05-04 18:08:10 +0000 |
---|---|---|
committer | Gleb Popov <arrowd@FreeBSD.org> | 2020-05-04 18:08:10 +0000 |
commit | 19c26acbf0b3412689187c066d994589e169f4ee (patch) | |
tree | ea6ceaad0e8295491cdee982afa383c2cb90cdbb /security/hs-cryptol/files/patch-src_Cryptol_ModuleSystem_Monad.hs | |
parent | ff6a5b09cf537befa21bb538dd62eccad35ce089 (diff) | |
download | ports-19c26acbf0b3412689187c066d994589e169f4ee.tar.gz ports-19c26acbf0b3412689187c066d994589e169f4ee.zip |
Notes
Diffstat (limited to 'security/hs-cryptol/files/patch-src_Cryptol_ModuleSystem_Monad.hs')
-rw-r--r-- | security/hs-cryptol/files/patch-src_Cryptol_ModuleSystem_Monad.hs | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/security/hs-cryptol/files/patch-src_Cryptol_ModuleSystem_Monad.hs b/security/hs-cryptol/files/patch-src_Cryptol_ModuleSystem_Monad.hs new file mode 100644 index 000000000000..da21eb9dfbe0 --- /dev/null +++ b/security/hs-cryptol/files/patch-src_Cryptol_ModuleSystem_Monad.hs @@ -0,0 +1,19 @@ +--- src/Cryptol/ModuleSystem/Monad.hs.orig 2020-03-17 19:06:11 UTC ++++ src/Cryptol/ModuleSystem/Monad.hs +@@ -34,6 +34,7 @@ import Cryptol.Utils.Ident (interactiveName, + import Cryptol.Utils.PP + import Cryptol.Utils.Logger(Logger) + ++import qualified Control.Monad.Fail as Fail + import Control.Monad.IO.Class + import Control.Exception (IOException) + import Data.Function (on) +@@ -325,6 +326,8 @@ instance Monad m => Monad (ModuleT m) where + + {-# INLINE (>>=) #-} + m >>= f = ModuleT (unModuleT m >>= unModuleT . f) ++ ++instance Fail.MonadFail m => Fail.MonadFail (ModuleT m) where + {-# INLINE fail #-} + fail = ModuleT . raise . OtherFailure + |