[Git][ghc/ghc][wip/T25266] 21 commits: Changed import from Ghc. module to L.H.S module

[Simon Peyton Jones (@simonpj)]

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


Commits:
e59fe5c6 by Hassan Al-Awwadi at 2024-10-15T08:25:33+00:00
Changed import from Ghc.  module to L.H.S module

Progresses #21592

For some reason we still imported GHC.Types.Fixity when the definitino of Fixity and LexicalFixity have already been moved to Language.Haskell.Syntax.Basic. This fixes that for

- - - - -
ab1767d5 by Simon Peyton Jones at 2024-10-15T23:45:04-04:00
Add a release-notes entry for -Wincomplete-record-selectors

- - - - -
adddcc3a by Simon Peyton Jones at 2024-10-16T14:00:24+01:00
Move defaulting code into a new module

GHC.Tc.Solver had reached 4,000 lines -- although quite a lot of them
are comments.

This MR

* Adds the new module GHC.Tc.Solver.Default, which has all the
  complex, but well modularised, defaulting code

* Moves a bit of code from GHC.Tc.Solver into the existing
  GHC.Tc.Solver.Solve. Notably solveWanteds and simplifyWantedsTcM,
  which are called from GHC.Tc.Solver.Default

It's a pure refactor.  No code changes.

- - - - -
8dce1394 by Simon Peyton Jones at 2024-10-16T14:00:24+01:00
Work in progress on #25266

- - - - -
662bba40 by Simon Peyton Jones at 2024-10-16T14:00:24+01:00
Better generalisation

- - - - -
673a0493 by Simon Peyton Jones at 2024-10-16T14:00:25+01:00
Wibbles to short cuts

- - - - -
b332b8a9 by Simon Peyton Jones at 2024-10-16T14:00:25+01:00
Iterating in decideAndPromote

- - - - -
c4ec20a2 by Simon Peyton Jones at 2024-10-16T14:00:25+01:00
Wibble

- - - - -
dc6cd5cf by Simon Peyton Jones at 2024-10-16T14:00:25+01:00
Wibble Solver

- - - - -
6b2f0555 by Simon Peyton Jones at 2024-10-16T14:00:25+01:00
Wibble

- - - - -
48c80305 by Simon Peyton Jones at 2024-10-16T14:00:25+01:00
Keep variables in correct order

- - - - -
e146bc22 by Simon Peyton Jones at 2024-10-16T14:00:25+01:00
Wibble solver

- - - - -
ccae457e by Simon Peyton Jones at 2024-10-16T14:00:25+01:00
Wibbles related to the MR

- - - - -
c93b219e by Simon Peyton Jones at 2024-10-16T14:00:25+01:00
Respond to rae review

- - - - -
8918f37f by Simon Peyton Jones at 2024-10-16T14:00:25+01:00
Wibbles

- - - - -
e4f71335 by Simon Peyton Jones at 2024-10-16T14:00:25+01:00
Add type sig

Acked-by: Simon Peyton Jones <simon.peytonjones at gmail.com>

- - - - -
afbdcea1 by Simon Peyton Jones at 2024-10-16T14:00:25+01:00
Wibble assert in approximateWC

- - - - -
52d35f09 by Simon Peyton Jones at 2024-10-16T14:00:25+01:00
Wibbles to solver and MR

- - - - -
2b50a6a3 by Simon Peyton Jones at 2024-10-16T14:00:25+01:00
Fix build

- - - - -
76ba8527 by Simon Peyton Jones at 2024-10-16T14:00:25+01:00
Wibble error messages

- - - - -
458764e1 by Simon Peyton Jones at 2024-10-16T14:00:25+01:00
Wibbles

- - - - -


8 changed files:

- compiler/GHC/Data/Bag.hs
- compiler/GHC/Tc/Deriv/Infer.hs
- compiler/GHC/Tc/Gen/Bind.hs
- compiler/GHC/Tc/Gen/Head.hs
- compiler/GHC/Tc/Gen/Rule.hs
- compiler/GHC/Tc/Instance/FunDeps.hs
- compiler/GHC/Tc/Module.hs
- compiler/GHC/Tc/Solver.hs


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/edd61fdc5463aff3fdea91ffbdf659c48b1d02d3...458764e15adce1436c6877deaa657b8cfaaa9825

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/edd61fdc5463aff3fdea91ffbdf659c48b1d02d3...458764e15adce1436c6877deaa657b8cfaaa9825
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/20241016/569e16fe/attachment.html>