diff options
| author | Joachim Breitner <mail@joachim-breitner.de> | 2022-01-06 20:02:11 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-01-07 18:25:41 -0500 |
| commit | f583eb8e5e7077f77fba035a454fafd945d4a4ea (patch) | |
| tree | c6ca9e28d2c2c07faed9dfdf0ceb4b006e9d97e0 | |
| parent | 7b783c9da649899bdce34b6e746fa8704b667f28 (diff) | |
| download | haskell-f583eb8e5e7077f77fba035a454fafd945d4a4ea.tar.gz | |
Remove dangling references to Note [Type-checking overloaded labels]
that note was removed in 4196969c53c55191e644d9eb258c14c2bc8467da
| -rw-r--r-- | compiler/GHC/Tc/Types/Evidence.hs | 10 | ||||
| -rw-r--r-- | libraries/base/GHC/OverloadedLabels.hs | 6 |
2 files changed, 7 insertions, 9 deletions
diff --git a/compiler/GHC/Tc/Types/Evidence.hs b/compiler/GHC/Tc/Types/Evidence.hs index 62a7eaab4e..8bbc1ac260 100644 --- a/compiler/GHC/Tc/Types/Evidence.hs +++ b/compiler/GHC/Tc/Types/Evidence.hs @@ -1020,12 +1020,10 @@ instance Outputable EvTypeable where -- Helper functions for dealing with IP newtype-dictionaries ---------------------------------------------------------------------- --- | Create a 'Coercion' that unwraps an implicit-parameter or --- overloaded-label dictionary to expose the underlying value. We --- expect the 'Type' to have the form `IP sym ty` or `IsLabel sym ty`, --- and return a 'Coercion' `co :: IP sym ty ~ ty` or --- `co :: IsLabel sym ty ~ ty`. See also --- Note [Type-checking overloaded labels] in "GHC.Tc.Gen.Expr". +-- | Create a 'Coercion' that unwraps an implicit-parameter +-- dictionary to expose the underlying value. +-- We expect the 'Type' to have the form `IP sym ty`, +-- and return a 'Coercion' `co :: IP sym ty ~ ty` unwrapIP :: Type -> CoercionR unwrapIP ty = case unwrapNewTyCon_maybe tc of diff --git a/libraries/base/GHC/OverloadedLabels.hs b/libraries/base/GHC/OverloadedLabels.hs index 129daab30e..429a9889bb 100644 --- a/libraries/base/GHC/OverloadedLabels.hs +++ b/libraries/base/GHC/OverloadedLabels.hs @@ -38,9 +38,9 @@ -- An overloaded label is represented by the 'HsOverLabel' constructor -- of 'HsExpr', which stores the 'FastString' text of the label and an -- optional id for the 'fromLabel' function to use (if --- RebindableSyntax is enabled) . The type-checker transforms it into --- a call to 'fromLabel'. See Note [Type-checking overloaded labels] --- in GHC.Tc.Gen.Expr for more details in how type-checking works. +-- RebindableSyntax is enabled) . The renamer transforms it into +-- a call to 'fromLabel'. +-- See Note [Handling overloaded and rebindable constructs] in GHC.Rename.Expr. module GHC.OverloadedLabels ( IsLabel(..) |