[GHC] #1311: newtypes of unboxed types disallowed - documentation bug and/or feature request

[GHC]

#1311: newtypes of unboxed types disallowed - documentation bug and/or feature
request
-------------------------------------+-------------------------------------
        Reporter:  Isaac Dupree      |                Owner:  osa1
            Type:  feature request   |               Status:  new
        Priority:  low               |            Milestone:  ⊥
       Component:  Compiler          |              Version:  7.7
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by osa1):

 I'd like to give this a try, Richard, where should I start? I don't
 understand typechecking/ parts too well. As far as I can see,
 {{{kcTyClGroup}}} is kind checking type declarations, and
 {{{getInitialKind}}} is generating {{{liftedTypeKind}}} unless a kind
 signature is given (I don't understand how can kind signatures be used
 with newtypes, maybe that case is impossible?). Is it possible to do this
 by just generalizing the current code, instead of adding special cases for
 newtypes in {{{getInitialKind}}} or {{{kcTyClGroup}}} (or both) ?

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