Skip to content

PrimTyCon.primRepName uses Maybe no for good reason

Currently, PrimTyCon's primRepName field has type Maybe TyConRepName. But there is no good reason for this, as in every place where a PrimTyCon is constructed, primRepName will be instantiated with a Just. I propose changing primRepName to be of type TyConRepName instead to simplify this. What's more, this won't even change the exported API in GHC.Core.TyCon, as the fields of PrimTyCon aren't exported.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information