[GHC] #10252: Abstract newtype in hs-boot

[GHC]

#10252: Abstract newtype in hs-boot
-------------------------------------+-------------------------------------
              Reporter:  ezyang      |             Owner:
                  Type:  feature     |            Status:  new
  request                            |         Milestone:
              Priority:  normal      |           Version:  7.11
             Component:  Compiler    |  Operating System:  Unknown/Multiple
  (Type checker)                     |   Type of failure:  None/Unknown
              Keywords:  backpack    |        Blocked By:
          Architecture:              |   Related Tickets:
  Unknown/Multiple                   |
             Test Case:              |
              Blocking:              |
Differential Revisions:              |
-------------------------------------+-------------------------------------
 Currently, the following syntax is not supported in an `hs-boot` file:

 {{{
 module A where
 newtype F
 }}}

 This functionality would be pretty useful, since often the RHS of a
 newtype is intended to be abstract, and would be a pain to place in the
 boot file. This is also useful for Backpack.

 It's a bit hard for me to tell what this should do under the hood: we
 would have newtypes without the coercions.

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