[Git][ghc/ghc][wip/T23298a] Test removing print-explicit-runtime-reps test

[Krzysztof Gogolewski (@monoidal)]

Krzysztof Gogolewski pushed to branch wip/T23298a at Glasgow Haskell Compiler / GHC


Commits:
f6ed5254 by Krzysztof Gogolewski at 2023-04-25T12:58:35+02:00
Test removing print-explicit-runtime-reps test

- - - - -


1 changed file:

- compiler/GHC/Tc/Solver.hs


Changes:

=====================================
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)



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/f6ed5254eb949ef02bb65da490b7a1f69e5b5c82

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/f6ed5254eb949ef02bb65da490b7a1f69e5b5c82
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20230425/c7a92fe3/attachment-0001.html>