diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2022-02-03 17:15:05 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-02-08 05:28:42 -0500 |
| commit | 38c6e301165777b88cc172aafed1b33d6f42099b (patch) | |
| tree | bb97c29f4d2701c32811ae98e7ea523da0bc0a2a /compiler/GHC/Tc/Gen | |
| parent | bc5cbce61b57f57cadf5c25fa3e60cf34c3b98ea (diff) | |
| download | haskell-38c6e301165777b88cc172aafed1b33d6f42099b.tar.gz | |
Fix some notes
Diffstat (limited to 'compiler/GHC/Tc/Gen')
| -rw-r--r-- | compiler/GHC/Tc/Gen/HsType.hs | 4 | ||||
| -rw-r--r-- | compiler/GHC/Tc/Gen/Pat.hs | 2 | ||||
| -rw-r--r-- | compiler/GHC/Tc/Gen/Sig.hs | 2 |
3 files changed, 4 insertions, 4 deletions
diff --git a/compiler/GHC/Tc/Gen/HsType.hs b/compiler/GHC/Tc/Gen/HsType.hs index 2a3ef6fd10..204edcb0b0 100644 --- a/compiler/GHC/Tc/Gen/HsType.hs +++ b/compiler/GHC/Tc/Gen/HsType.hs @@ -1177,7 +1177,7 @@ tc_hs_type mode (HsForAllTy { hst_tele = tele, hst_body = ty }) exp_kind -- Pass on the mode from the type, to any wildcards -- in kind signatures on the forall'd variables -- e.g. f :: _ -> Int -> forall (a :: _). blah - -- Why exp_kind? See Note [Body kind of HsForAllTy] + -- Why exp_kind? See Note [Body kind of a HsForAllTy] -- Do not kind-generalise here! See Note [Kind generalisation] @@ -3149,7 +3149,7 @@ tcOuterTKBndrs skol_info , sm_tvtv = SMDSkolemTv skol_info }) skol_info -- Do not clone the outer binders - -- See Note [Cloning for type variable binder] under "must not" + -- See Note [Cloning for type variable binders] under "must not" tcOuterTKBndrsX :: OutputableBndrFlag flag 'Renamed => SkolemMode -> SkolemInfo diff --git a/compiler/GHC/Tc/Gen/Pat.hs b/compiler/GHC/Tc/Gen/Pat.hs index 132f58b7b4..ae9667804d 100644 --- a/compiler/GHC/Tc/Gen/Pat.hs +++ b/compiler/GHC/Tc/Gen/Pat.hs @@ -918,7 +918,7 @@ tcDataConPat penv (L con_span con_name) data_con pat_ty_scaled ; (tenv, ex_tvs') <- tcInstSuperSkolTyVarsX skol_info tenv1 ex_tvs -- Get location from monad, not from ex_tvs -- This freshens: See Note [Freshen existentials] - -- Why "super"? See Note [Binding when lookup up instances] + -- Why "super"? See Note [Binding when looking up instances] -- in GHC.Core.InstEnv. ; let arg_tys' = substScaledTys tenv arg_tys diff --git a/compiler/GHC/Tc/Gen/Sig.hs b/compiler/GHC/Tc/Gen/Sig.hs index 82a3290e4c..ed1833c1e7 100644 --- a/compiler/GHC/Tc/Gen/Sig.hs +++ b/compiler/GHC/Tc/Gen/Sig.hs @@ -409,7 +409,7 @@ tcPatSynSig name sig_ty@(L _ (HsSig{sig_bndrs = hs_outer_bndrs, sig_body = hs_ty ; skol_info <- mkSkolemInfo (DataConSkol name) ; (tclvl, wanted, (outer_bndrs, (ex_bndrs, (req, prov, body_ty)))) <- pushLevelAndSolveEqualitiesX "tcPatSynSig" $ - -- See Note [solveEqualities in tcPatSynSig] + -- See Note [Report unsolved equalities in tcPatSynSig] tcOuterTKBndrs skol_info hs_outer_bndrs $ tcExplicitTKBndrs skol_info ex_hs_tvbndrs $ do { req <- tcHsContext hs_req |