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 /compiler | |
| parent | 7b783c9da649899bdce34b6e746fa8704b667f28 (diff) | |
| download | haskell-f583eb8e5e7077f77fba035a454fafd945d4a4ea.tar.gz | |
Remove dangling references to Note [Type-checking overloaded labels]
that note was removed in 4196969c53c55191e644d9eb258c14c2bc8467da
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/GHC/Tc/Types/Evidence.hs | 10 |
1 files changed, 4 insertions, 6 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 |