[GHC] #11363: Parser groups "::" and "*" together in kind signature (a::*)

[GHC]

#11363: Parser groups "::" and "*" together in kind signature (a::*)
-----------------------------------------+---------------------------------
           Reporter:  Iceland_jack       |             Owner:
               Type:  bug                |            Status:  new
           Priority:  lowest             |         Milestone:
          Component:  Compiler (Parser)  |           Version:  8.1
           Keywords:                     |  Operating System:  Linux
       Architecture:  x86                |   Type of failure:  None/Unknown
          Test Case:                     |        Blocked By:
           Blocking:                     |   Related Tickets:
Differential Rev(s):                     |         Wiki Page:
-----------------------------------------+---------------------------------
 Compare a session in 7.10

 {{{
 GHCi, version 7.10.2: http://www.haskell.org/ghc/  :? for help
 Prelude> data A (a :: *) = B

 <interactive>:2:14:
     Illegal kind signature: ‘*’
       Perhaps you intended to use KindSignatures
     In the data type declaration for ‘A’
 Prelude> data A (a::*) = B

 <interactive>:3:13: parse error on input ‘)’
 }}}

 to a session in 8.1

 {{{
 GHCi, version 8.1.20160105: http://www.haskell.org/ghc/  :? for help
 Prelude> data A (a :: *) = B

 <interactive>:1:14: error:
     Illegal kind signature: ‘*’
       Perhaps you intended to use KindSignatures
     In the data type declaration for ‘A’
 Prelude> data A (a::*) = B

 <interactive>:2:9: error:
     Unexpected type ‘a ::*’
     In the data declaration for ‘A’
     A data declaration should have form
       data A a = ...
 }}}

 GHC seems to group "::" and "*" together. Same with (★) from Data.Kind
 with TypeInType enabled.

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