diff options
Diffstat (limited to 'compiler/GHC/Tc/TyCl/Instance.hs')
| -rw-r--r-- | compiler/GHC/Tc/TyCl/Instance.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/GHC/Tc/TyCl/Instance.hs b/compiler/GHC/Tc/TyCl/Instance.hs index 26e1689e59..98fb149c27 100644 --- a/compiler/GHC/Tc/TyCl/Instance.hs +++ b/compiler/GHC/Tc/TyCl/Instance.hs @@ -1601,9 +1601,9 @@ Answer: GivenOrigin InstSkol. * When we make a superclass selection from InstSkol we use - a SkolemInfo of (InstSC size), where 'size' is the size of - the constraint whose superclass we are taking. A similarly - when taking the superclass of an InstSC. This is implemented + a CtOrigin of (InstSCOrigin size), where 'size' is the size of + the constraint whose superclass we are taking. And similarly + when taking the superclass of an InstSCOrigin. This is implemented in GHC.Tc.Solver.Canonical.mk_strict_superclasses (in the mk_given_loc helper function). |