[GHC] #14196: Replace ArrayArray# with either UnliftedArray# or Array#

[GHC]

#14196: Replace ArrayArray# with either UnliftedArray# or Array#
-------------------------------------+-------------------------------------
        Reporter:  andrewthad        |                Owner:  (none)
            Type:  feature request   |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.2.1
      Resolution:                    |             Keywords:
                                     |  LevityPolymorphism
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 andrewthad):

 If `UnliftedNewtypes`, described in https://github.com/ghc-proposals/ghc-
 proposals/pull/98, is accepted, it will be trivial to reimplement
 `ArrayArray#`, and its related functions:

 {{{
 newtype ArrayArray# = ArrayArray# (UnliftedArray# ByteArray#)
 }}}

 It's not important to use `ByteArray#` here. You could use any unlifted
 type since you're just going to unsafe coerce it when you pull in out or
 put it in. I guess these operators would need to go in `GHC.Exts` or
 something like that, which would probably still break some people's code
 since we all love to import `GHC.Prim` so much, but at least it provides a
 good backwards-compatibility option.

 I'll wait to see if `UnliftedNewtypes` is accepted. If so, I'll write this
 up as a proposal.

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