#12068: RULE too complicated to desugar when using constraint synonyms -------------------------------------+------------------------------------- Reporter: crockeea | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.10.3 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by thomie): * status: new => closed * resolution: => fixed Comment: commit a6f0f5ab45b2643b561e0a0a54a4f14745ab2152 {{{ Author: Simon Peyton Jones <simonpj@microsoft.com> Date: Tue Dec 23 15:39:50 2014 +0000 Eliminate so-called "silent superclass parameters" }}}
It works in HEAD ... I'm not sure if it's worth adding a regression test.
Closing. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12068#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler