[Git][ghc/ghc][wip/T24359] More small fixes

[Simon Peyton Jones (@simonpj)]

Simon Peyton Jones pushed to branch wip/T24359 at Glasgow Haskell Compiler / GHC


Commits:
9e47814d by Simon Peyton Jones at 2024-10-30T23:24:42+00:00
More small fixes

- - - - -


3 changed files:

- compiler/GHC/HsToCore/Binds.hs
- compiler/GHC/Tc/Gen/Sig.hs
- compiler/GHC/Tc/Solver.hs


Changes:

=====================================
compiler/GHC/HsToCore/Binds.hs
=====================================
@@ -820,7 +820,7 @@ dsSpec mb_poly_rhs (SpecPrag poly_id spec_co spec_inl)
                --         \spec_bndrs. [] spec_args
                -- perhaps with the body of the lambda wrapped in some WpLets
                -- E.g. /\a \(d:Eq a). let d2 = $df d in [] (Maybe a) d2
-  = dsHsWrapperForRuleLHS spec_app $ \core_app ->
+  = dsHsWrapper spec_app $ \core_app ->
     finishSpecPrag mb_poly_rhs
                    spec_bndrs (core_app (Var poly_id))
                    spec_bndrs (\_ poly_rhs -> core_app poly_rhs)


=====================================
compiler/GHC/Tc/Gen/Sig.hs
=====================================
@@ -36,7 +36,9 @@ import {-# SOURCE #-} GHC.Tc.Gen.Expr  ( tcInferRho, tcCheckMonoExpr )
 
 import GHC.Tc.Errors.Types ( FixedRuntimeRepProvenance(..), TcRnMessage(..) )
 import GHC.Tc.Gen.HsType
-import GHC.Tc.Solver
+import GHC.Tc.Solver( reportUnsolvedEqualities, pushLevelAndSolveEqualitiesX
+                    , growThetaTyVars )
+import GHC.Tc.Solver.Solve( solveWanteds )
 import GHC.Tc.Solver.Monad( runTcS )
 import GHC.Tc.Validity ( checkValidType )
 


=====================================
compiler/GHC/Tc/Solver.hs
=====================================
@@ -1851,8 +1851,7 @@ decideQuantifiedTyVars skol_info name_taus psigs candidates
            , text "candidates =" <+> ppr candidates
            , text "dvs =" <+> ppr dvs
            , text "tau_tys =" <+> ppr tau_tys
-           , text "seed_tys =" <+> ppr seed_tys
-           , text "seed_tcvs =" <+> ppr (tyCoVarsOfTypes seed_tys)
+           , text "seed_tvs =" <+> ppr seed_tvs
            , text "grown_tcvs =" <+> ppr grown_tcvs
            , text "dvs =" <+> ppr dvs_plus])
 



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/9e47814d6def642b6aef6ad272d3ee92fb9b4e0e
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/20241030/2f33c650/attachment-0001.html>