aboutsummaryrefslogtreecommitdiff
path: root/security/hs-cryptol/files/patch-src_Cryptol_ModuleSystem_Monad.hs
diff options
context:
space:
mode:
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.hs19
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
+