-
Simon Peyton Jones authored
mkAppCoFlexible was breaking the invariant that the head of a TyConAppCo cannot be a type synonym. This small patch fixes it. (cherry picked from commit 21f17d06)
0bbcdc88
mkAppCoFlexible was breaking the invariant that the head of a TyConAppCo cannot be a type synonym. This small patch fixes it. (cherry picked from commit 21f17d06)