diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2023-04-25 12:26:48 +0200 |
|---|---|---|
| committer | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2023-04-25 12:58:35 +0200 |
| commit | f6ed5254eb949ef02bb65da490b7a1f69e5b5c82 (patch) | |
| tree | 5a69c831df34e09be2553348147a885d5fa26c71 | |
| parent | ab6c1d295cd9f492838dbd481ecc2a66bbd17393 (diff) | |
| download | haskell-wip/T23298a.tar.gz | |
Test removing print-explicit-runtime-reps testwip/T23298a
| -rw-r--r-- | compiler/GHC/Tc/Solver.hs | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/compiler/GHC/Tc/Solver.hs b/compiler/GHC/Tc/Solver.hs index d4dae8e31e..d9ab8ca6dd 100644 --- a/compiler/GHC/Tc/Solver.hs +++ b/compiler/GHC/Tc/Solver.hs @@ -490,12 +490,9 @@ simplifyTopWanteds wanteds ; try_tyvar_defaulting dflags wc_first_go } where try_tyvar_defaulting :: DynFlags -> WantedConstraints -> TcS WantedConstraints - try_tyvar_defaulting dflags wc + try_tyvar_defaulting _dflags wc | isEmptyWC wc = return wc - | insolubleWC wc - , gopt Opt_PrintExplicitRuntimeReps dflags -- See Note [Defaulting insolubles] - = try_class_defaulting wc | otherwise = do { -- Need to zonk first, as the WantedConstraints are not yet zonked. ; free_tvs <- TcS.zonkTyCoVarsAndFVList (tyCoVarsOfWCList wc) |