[GHC] #11466: Constraint synonym with Implicit Parameter

[GHC]

#11466: Constraint synonym with Implicit Parameter
-------------------------------------+-------------------------------------
        Reporter:  nomeata           |                Owner:
            Type:  bug               |               Status:  closed
        Priority:  normal            |            Milestone:  8.0.1
       Component:  Compiler (Type    |              Version:  8.1
  checker)                           |
      Resolution:  fixed             |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
                                     |  polykinds/T11466
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by nomeata):

 This is missing the stderr file, I see this on travis:
 {{{
 Actual stderr output differs from expected:
 --- /dev/null   2015-01-28 16:31:58.000000000 +0000
 +++ ./polykinds/T11466.comp.stderr.normalised   2016-01-21
 22:52:43.864816991 +0000
 @@ -0,0 +1,6 @@
 +
 +T11466.hs:15:10:
 +     Illegal implicit parameter ‘?x::Int’
 +     In the context: Bla
 +      While checking an instance declaration
 +      In the instance declaration for ‘Eq T’
 \ No newline at end of file
 *** unexpected failure for T11466(normal)
 }}}
 https://s3.amazonaws.com/archive.travis-ci.org/jobs/103959091/log.txt

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