Skip to content

Remove unused known keys and names for list operations

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

This removes the known-key and corresponding name variables for concat, filter, zip, and (++), as they are apparently nowhere used in GHC’s source code, and thus resolves part of #26677 (closed).

Merge request reports