[GHC] #10776: DataKinds promotion of String -> Symbol and Natural -> Nat

16 Aug 2015

      #10776: DataKinds promotion of String -> Symbol and Natural -> Nat
-------------------------------------+-------------------------------------
              Reporter:  htebalaka   |             Owner:
                  Type:  feature     |            Status:  new
  request                            |
              Priority:  normal      |         Milestone:
             Component:  Compiler    |           Version:  7.10.2
  (Type checker)                     |
              Keywords:  DataKinds   |  Operating System:  Unknown/Multiple
          Architecture:              |   Type of failure:  None/Unknown
  Unknown/Multiple                   |
             Test Case:              |        Blocked By:
              Blocking:              |   Related Tickets:
Differential Revisions:              |
-------------------------------------+-------------------------------------
 Exactly what it says on the tin. It would be nice if the following would
 compile:

 {{{#!hs
 {-# LANGUAGE DataKinds, KindSignatures, GADTs #-}

 import GHC.TypeLits
 import GHC.Natural

 data X = X String Natural

 data Y :: X -> * where
     Y :: Y (X "hello" 4)
 }}}

 I kind of assume there's already a ticket for this, but couldn't find one,
 so figured I'd open one in case.

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