#9567: tc124 fails as '*** Core Lint errors : in result of Simplifier ***' in WAY=optasm -------------------------------------+------------------------------------- Reporter: slyfox | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.9 Resolution: | Keywords: Operating System: | Architecture: x86_64 (amd64) Unknown/Multiple | Difficulty: Unknown Type of failure: GHC | Blocked By: rejects valid program | Related Tickets: Test Case: tc124 | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by simonpj): Thanks. The bug is in the `ApplyTo` case of `simplUtils.contInputType`, which does not work right for type arguments. This needs a little thought. Thanks for boiling it down so much. Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9567#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler