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