[GHC] #9102: Assertion failure in CoreUtils.lhs

[GHC]

#9102: Assertion failure in CoreUtils.lhs
-------------------------------------+------------------------------------
        Reporter:  tmcdonell         |            Owner:
            Type:  bug               |           Status:  new
        Priority:  normal            |        Milestone:
       Component:  Compiler          |          Version:  7.8.2
      Resolution:                    |         Keywords:
Operating System:  Unknown/Multiple  |     Architecture:  Unknown/Multiple
 Type of failure:  None/Unknown      |       Difficulty:  Unknown
       Test Case:                    |       Blocked By:
        Blocking:                    |  Related Tickets:
-------------------------------------+------------------------------------

Comment (by simonpj):

 This is the actual fix for #9102:
 {{{
 commit 21f17d06aa5c33e639f1b0d37b4bf888b494c441
 Author: Simon Peyton Jones <simonpj at microsoft.com>
 Date:   Tue May 13 13:17:19 2014 +0100

     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 |    4 +++-
  1 file changed, 3 insertions(+), 1 deletion(-)
 }}}
 I forgot to mention the ticket in the commit message.

 Simon

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9102#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler