GHC issueshttps://gitlab.haskell.org/ghc/ghc/-/issues2019-07-07T18:22:37Zhttps://gitlab.haskell.org/ghc/ghc/-/issues/13279Check known-key lists2019-07-07T18:22:37ZDavid FeuerCheck known-key listsI noticed that `fmap` (for example) has a known key
```hs
fmapName = varQual gHC_BASE (fsLit "fmap") fmapClassOpKey
fmapClassOpKey = mkPreludeMiscIdUnique 173
```
but its `RdrName` doesn't refer to it.
```hs
fmap_...I noticed that `fmap` (for example) has a known key
```hs
fmapName = varQual gHC_BASE (fsLit "fmap") fmapClassOpKey
fmapClassOpKey = mkPreludeMiscIdUnique 173
```
but its `RdrName` doesn't refer to it.
```hs
fmap_RDR = varQual_RDR gHC_BASE (fsLit "fmap")
```
Is there a reason for this? If not, it seems likely that we could get a bit of a speed-up by using `fmapName` here. We may also consider making `liftA2` known-key for `Traversable` deriving.
<details><summary>Trac metadata</summary>
| Trac field | Value |
| ---------------------- | ------------ |
| Version | 8.1 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture | |
</details>
<!-- {"blocked_by":[],"summary":"Check known-key lists","status":"New","operating_system":"","component":"Compiler","related":[],"milestone":"8.4.1","resolution":"Unresolved","owner":{"tag":"Unowned"},"version":"8.1","keywords":[],"differentials":[],"test_case":"","architecture":"","cc":[""],"type":"Bug","description":"I noticed that `fmap` (for example) has a known key\r\n\r\n{{{#!hs\r\nfmapName = varQual gHC_BASE (fsLit \"fmap\") fmapClassOpKey\r\nfmapClassOpKey = mkPreludeMiscIdUnique 173\r\n}}}\r\n\r\nbut its `RdrName` doesn't refer to it.\r\n\r\n{{{#!hs\r\nfmap_RDR = varQual_RDR gHC_BASE (fsLit \"fmap\")\r\n}}}\r\n\r\nIs there a reason for this? If not, it seems likely that we could get a bit of a speed-up by using `fmapName` here. We may also consider making `liftA2` known-key for `Traversable` deriving.","type_of_failure":"OtherFailure","blocking":[]} -->8.8.1David FeuerDavid Feuer