[Git][ghc/ghc][wip/cfuneqcan-refactor] Remove mention of CFunEqCan from rebasing

[Richard Eisenberg]

Richard Eisenberg pushed to branch wip/cfuneqcan-refactor at Glasgow Haskell Compiler / GHC


Commits:
a97a29b2 by Richard Eisenberg at 2020-11-07T22:57:23-05:00
Remove mention of CFunEqCan from rebasing

- - - - -


1 changed file:

- compiler/GHC/Tc/Solver/Monad.hs


Changes:

=====================================
compiler/GHC/Tc/Solver/Monad.hs
=====================================
@@ -2432,7 +2432,7 @@ foldIrreds k irreds z = foldr k z irreds
 Note [Use loose types in inert set]
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 Whenever we are looking up an inert dictionary (CDictCan) or function
-equality (CFunEqCan), we use a TcAppMap, which uses the Unique of the
+equality (CEqCan), we use a TcAppMap, which uses the Unique of the
 class/type family tycon and then a trie which maps the arguments. This
 trie does *not* need to match the kinds of the arguments; this Note
 explains why.



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/a97a29b2f471d15fbfbc6572debdbde4c056e637
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/20201107/e7f8c051/attachment.html>