diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2022-03-18 20:33:44 +0100 |
|---|---|---|
| committer | Matthew Pickering <matthewtpickering@gmail.com> | 2022-04-01 11:03:16 +0100 |
| commit | 8334ff9e5de48361e8fde3fdacb4523857c366b7 (patch) | |
| tree | ce44d60b6bff743b1f243977b1c19a976e3d8174 /compiler/GHC/Tc | |
| parent | 5df9f5e732a1086c66ad391e581f55b9d3e3712c (diff) | |
| download | haskell-8334ff9e5de48361e8fde3fdacb4523857c366b7.tar.gz | |
Minor cleanup
- Remove unused functions exprToCoercion_maybe, applyTypeToArg,
typeMonoPrimRep_maybe, runtimeRepMonoPrimRep_maybe.
- Replace orValid with a simpler check
- Use splitAtList in applyTysX
- Remove calls to extra_clean in the testsuite; it does not do anything.
Metric Decrease:
T18223
Diffstat (limited to 'compiler/GHC/Tc')
| -rw-r--r-- | compiler/GHC/Tc/Deriv/Utils.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/GHC/Tc/Deriv/Utils.hs b/compiler/GHC/Tc/Deriv/Utils.hs index aa89f94c4b..f28ad0e8f4 100644 --- a/compiler/GHC/Tc/Deriv/Utils.hs +++ b/compiler/GHC/Tc/Deriv/Utils.hs @@ -989,8 +989,8 @@ cond_stdOK deriv_ctxt permissive dflags InferContext wildcard | null data_cons -- 1. , not permissive - -> checkFlag LangExt.EmptyDataDeriving dflags dit `orValid` - NotValid (no_cons_why rep_tc) + , not (xopt LangExt.EmptyDataDeriving dflags) + -> NotValid (no_cons_why rep_tc) | not (null con_whys) -> NotValid $ DerivErrBadConstructor (Just $ has_wildcard wildcard) con_whys | otherwise |