diff options
| author | Sebastian Graf <sebastian.graf@kit.edu> | 2020-07-03 18:32:36 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-09-02 15:54:55 -0400 |
| commit | bfab2a30be5cc68e7914c3f6bb9ae4ad33283ffc (patch) | |
| tree | 9a8bd4f265617bd9af4a2dbe588664965b0b31c3 /compiler/GHC/Core/Lint.hs | |
| parent | b4edcde70160820dd23c53d9019f895930e2c0e7 (diff) | |
| download | haskell-bfab2a30be5cc68e7914c3f6bb9ae4ad33283ffc.tar.gz | |
Turn on -XMonoLocalBinds by default (#18430)
And fix the resulting type errors.
Co-authored-by: Krzysztof Gogolewski <krz.gogolewski@gmail.com>
Metric Decrease:
parsing001
Diffstat (limited to 'compiler/GHC/Core/Lint.hs')
| -rw-r--r-- | compiler/GHC/Core/Lint.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/GHC/Core/Lint.hs b/compiler/GHC/Core/Lint.hs index 9054ca086c..69cd263699 100644 --- a/compiler/GHC/Core/Lint.hs +++ b/compiler/GHC/Core/Lint.hs @@ -2290,6 +2290,7 @@ lintCoercion this@(AxiomRuleCo ax cos) Nothing -> err "Malformed use of AxiomRuleCo" [ ppr this ] Just _ -> return (AxiomRuleCo ax cos') } where + err :: forall a. String -> [SDoc] -> LintM a err m xs = failWithL $ hang (text m) 2 $ vcat (text "Rule:" <+> ppr (coaxrName ax) : xs) |