diff options
Diffstat (limited to 'compiler/typecheck/TcPluginM.hs')
-rw-r--r-- | compiler/typecheck/TcPluginM.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/typecheck/TcPluginM.hs b/compiler/typecheck/TcPluginM.hs index 36d35e049a..c85f72c157 100644 --- a/compiler/typecheck/TcPluginM.hs +++ b/compiler/typecheck/TcPluginM.hs @@ -79,6 +79,7 @@ import GHC.Core.Class import GHC.Driver.Types import Outputable import GHC.Core.Type +import GHC.Core.Coercion ( BlockSubstFlag(..) ) import Id import GHC.Core.InstEnv import FastString @@ -179,7 +180,7 @@ newEvVar = unsafeTcPluginTcM . TcM.newEvVar -- | Create a fresh coercion hole. newCoercionHole :: PredType -> TcPluginM CoercionHole -newCoercionHole = unsafeTcPluginTcM . TcM.newCoercionHole +newCoercionHole = unsafeTcPluginTcM . TcM.newCoercionHole YesBlockSubst -- | Bind an evidence variable. This must not be invoked from -- 'tcPluginInit' or 'tcPluginStop', or it will panic. |