Skip to content

Use (fixed_lev = True) in mkDataTyConRhs

Matthew Craven requested to merge clyring/ghc:mkDataTyConRhs into master

This seems to be either a one-line mistake or very confusing documentation.

All use sites of this function make classes (so the result kind Constraint is monomorphic) except GHC.Builtin.Types.pcTyCon, which explicitly assumes no kind polymorphism.

Merge request reports