[GHC] #11246: Regression typechecking type synonym which includes `Any`.

17 Dec 2015

      #11246: Regression typechecking type synonym which includes `Any`.
-------------------------------------+-------------------------------------
           Reporter:  mpickering     |             Owner:
               Type:  bug            |            Status:  new
           Priority:  normal         |         Milestone:
          Component:  Compiler       |           Version:  7.10.3
           Keywords:                 |  Operating System:  Unknown/Multiple
       Architecture:                 |   Type of failure:  None/Unknown
  Unknown/Multiple                   |
          Test Case:                 |        Blocked By:
           Blocking:                 |   Related Tickets:
Differential Rev(s):                 |         Wiki Page:
-------------------------------------+-------------------------------------
 {{{
 module Foo where

 import GHC.Exts

 type Key a = Any
 }}}

 produces the error message on HEAD but compiles on 7.8.3 and 7.10.1
 (thanks to Reid for testing).

 {{{unsafeany.hs:5:1: error:
     • The type family ‘Any’ should have no arguments, but has been given
 none
     • In the type synonym declaration for ‘Key’
 Failed, modules loaded: none.
 }}}

--
Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11246
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler