Skip to content

Remove the unused known key and name for `Fingerprint`

Wolfgang Jeltsch requested to merge wip/jeltsch/known-key-removals/fingerprints into master

This removes the variables for the known key and the name of the Fingerprint data constructor, as they are apparently nowhere used in GHC’s source code, and thus resolves part of #26677 (closed).

Merge request reports