diff options
| -rw-r--r-- | compiler/GHC/HsToCore/Monad.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/GHC/HsToCore/Monad.hs b/compiler/GHC/HsToCore/Monad.hs index 721ef1074e..bbba21b95e 100644 --- a/compiler/GHC/HsToCore/Monad.hs +++ b/compiler/GHC/HsToCore/Monad.hs @@ -599,7 +599,7 @@ discardWarningsDs thing_inside dsNoLevPoly :: Type -> LevityCheckProvenance -> DsM () -- See Note [Representation polymorphism checking] dsNoLevPoly ty provenance = - checkForLevPolyX (\ty -> failWithDs . DsLevityPolyInType ty) provenance ty + checkForLevPolyX (\ty -> diagnosticDs . DsLevityPolyInType ty) provenance ty -- | Check an expression for representation polymorphism, failing if it is -- representation-polymorphic. |