diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-06-28 23:20:37 +0200 |
|---|---|---|
| committer | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-06-28 23:20:37 +0200 |
| commit | b44a1f4f74096d3bd240eb32d5467684b87e9719 (patch) | |
| tree | 96f14c21e959631a8ecacd5fd79696b1fc9556ec | |
| parent | 83dce402043532d43635b305eca76a6f1cf4deff (diff) | |
| download | haskell-wip/check-dsnopoly.tar.gz | |
Revert the change in dsNoLevPolywip/check-dsnopoly
| -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. |