diff options
| author | Hécate <hecate+gitlab@glitchbra.in> | 2020-10-10 21:15:36 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-11-01 01:11:09 -0400 |
| commit | dfd27445308d1ed2df8826c2a045130e918e8192 (patch) | |
| tree | 99fc01edeebc2924ddb7533864e0d4ca18cfe800 /compiler/GHC/Tc/Deriv | |
| parent | bd4abdc953427e084e7ecba89db64860f6859822 (diff) | |
| download | haskell-dfd27445308d1ed2df8826c2a045130e918e8192.tar.gz | |
Add the proper HLint rules and remove redundant keywords from compiler
Diffstat (limited to 'compiler/GHC/Tc/Deriv')
| -rw-r--r-- | compiler/GHC/Tc/Deriv/Infer.hs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/compiler/GHC/Tc/Deriv/Infer.hs b/compiler/GHC/Tc/Deriv/Infer.hs index eb81587eb7..d65564d1da 100644 --- a/compiler/GHC/Tc/Deriv/Infer.hs +++ b/compiler/GHC/Tc/Deriv/Infer.hs @@ -368,8 +368,7 @@ inferConstraintsAnyclass ; return (mkThetaOrigin (mkDerivOrigin wildcard) TypeLevel meth_tvs dm_tvs meth_theta (tau_eq:dm_theta)) } - ; theta_origins <- lift $ mapM do_one_meth gen_dms - ; return theta_origins } + ; lift $ mapM do_one_meth gen_dms } -- Like 'inferConstraints', but used only for @GeneralizedNewtypeDeriving@ and -- @DerivingVia@. Since both strategies generate code involving 'coerce', the |