[Git][ghc/ghc][wip/issue-23821] Apply 2 suggestion(s) to 1 file(s)

[Gergő Érdi (@cactus)]

Gergő Érdi pushed to branch wip/issue-23821 at Glasgow Haskell Compiler / GHC


Commits:
81bb4d89 by sheaf at 2023-08-31T06:45:26+00:00
Apply 2 suggestion(s) to 1 file(s)
- - - - -


1 changed file:

- compiler/GHC/Tc/Solver.hs


Changes:

=====================================
compiler/GHC/Tc/Solver.hs
=====================================
@@ -3577,7 +3577,6 @@ beta! Concrete example is in indexed_types/should_fail/ExtraTcsUntch.hs:
 
 Note [Defaulting plugins]
 ~~~~~~~~~~~~~~~~~~~~~~~~~
-
 Defaulting plugins enable extending or overriding the defaulting
 behaviour. In `applyDefaulting`, before the built-in defaulting
 mechanism runs, the loaded defaulting plugins are passed the
@@ -3585,7 +3584,7 @@ mechanism runs, the loaded defaulting plugins are passed the
 based on them.
 
 Proposals are represented as `[DefaultingProposal]` with each proposal
-consisting of a type varible to solve, the list of defaulting types to
+consisting of a type variable to fill-in, the list of defaulting types to
 try in order, and a set of constraints to check at each try. This is
 the same representation (albeit in a nicely packaged-up data type) as
 the candidates generated by the built-in defaulting mechanism, so the



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/81bb4d892d027f9512b6c6689cb157f2f5b5f15b
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/20230831/e329937e/attachment.html>