[GHC] #12029: Notify user to import * from Data.Kind with TypeInType on

7 May 2016


      #12029: Notify user to import * from Data.Kind with TypeInType on
-------------------------------------+-------------------------------------
           Reporter:  Iceland_jack   |             Owner:
               Type:  feature        |            Status:  new
  request                            |
           Priority:  lowest         |         Milestone:
          Component:  GHCi           |           Version:  8.1
           Keywords:  TypeInType     |  Operating System:  Unknown/Multiple
       Architecture:                 |   Type of failure:  None/Unknown
  Unknown/Multiple                   |
          Test Case:                 |        Blocked By:
           Blocking:                 |   Related Tickets:
Differential Rev(s):                 |         Wiki Page:
-------------------------------------+-------------------------------------
 With `TypeInType` asking for the kind of `*` gives the user a warning to
 import it

 {{{
 ghci> :set -XTypeInType
 ghci> :k *

 <interactive>:1:1: error:
     Not in scope: type constructor or class ‘*’
     NB: With TypeInType, you must import * from Data.Kind

 <interactive>:1:1: error:
     Illegal operator ‘*’ in type ‘*’
       Use TypeOperators to allow operators in types

 <interactive>:1:1: error: Operator applied to too few arguments: *
 }}}

 Should a similar warning be issued when she asks for information on it

 {{{
 ghci> :i *
 class Num a where
   ...
   (*) :: a -> a -> a
   ...
         -- Defined in ‘GHC.Num’
 infixl 7 *
 }}}

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