Skip to content
Snippets Groups Projects
user avatar
Simon Peyton Jones authored
This reverts the change in Trac #7347, which prevented promotion
of existential data constructors.  Ones with constraints in
their types, or kind polymorphism, still can't be promoted.
e3dc71de
History