[GHC] #10654: Better error message regarding type synonyms and PolyKinds

[GHC]

#10654: Better error message regarding type synonyms and PolyKinds
-------------------------------------+-------------------------------------
        Reporter:  abbradar          |                   Owner:
            Type:  feature request   |                  Status:  closed
        Priority:  low               |               Milestone:
       Component:  Compiler          |                 Version:  7.10.1
      Resolution:  duplicate         |                Keywords:
Operating System:  Unknown/Multiple  |            Architecture:
 Type of failure:  Other             |  Unknown/Multiple
      Blocked By:                    |               Test Case:
 Related Tickets:  #10516            |                Blocking:
                                     |  Differential Revisions:
-------------------------------------+-------------------------------------
Changes (by thomie):

 * status:  new => closed
 * resolution:   => duplicate
 * related:   => #10516


Comment:

 Thanks for the report. A fix is underway in #10516.
 {{{
 λ:1> :set -XPolyKinds
 λ:2> type Test a = a
 λ:3> type Huh = Test

 <interactive>:3:1: error:
     The type synonym ‘Test’ should have 1 argument, but has been given
 none
     In the type synonym declaration for ‘Huh’
 }}}

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