#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