Skip to content

Use "representation polymorphism" instead of "levity polymorphism" where appropriate

sheaf requested to merge sheaf/ghc:T19756 into master

Renames mentions of levity polymorphism to representation polymorphism, as per #19756 (closed).

Currently, this does not change any of GHC's types or functions, but does change the error messages, as well as the users' guide to go along with that.

Edited by sheaf

Merge request reports