Skip to content

Expose `extractPromotedList` or equivalent to plugins

GHC.Builtin.Types.extractPromotedList :: Type -> [Type] is currently not exported, but it could be useful for type checker plugins that manipulate type-level lists.

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