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

13 May 2014

      #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 
 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