Fix invariant in mkAppCoFlexible
authorSimon Peyton Jones <simonpj@microsoft.com>
Tue, 13 May 2014 12:17:19 +0000 (13:17 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Tue, 13 May 2014 12:17:31 +0000 (13:17 +0100)
commit21f17d06aa5c33e639f1b0d37b4bf888b494c441
treef87dbb3e297e20808216d2e623474cefd84d34b1
parent4cfc1fae11ec9a5c4b34ac747f0ce50f52423eba
Fix invariant in mkAppCoFlexible

mkAppCoFlexible was breaking the invariant that the head of a TyConAppCo cannot
be a type synonym.  This small patch fixes it.
compiler/types/Coercion.lhs