[GHC] #14124: add shrink prim-op for other array type

[GHC]

#14124: add shrink prim-op for other array type
-------------------------------------+-------------------------------------
        Reporter:  winter            |                Owner:  (none)
            Type:  feature request   |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.2.1
      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:                    |
-------------------------------------+-------------------------------------
Description changed by winter:

Old description:

> This issue arised in the recently PR to bring unified array interface to
> primitive: https://github.com/haskell/primitive/pull/64 . In that issue
> andrewthad ask if we want to keep `shrikArr` API. My guts feels that it's
> possible for other type of array as well since it's just the same closure
> overwrite thing. So i'm asking for adding such prim-op here.
>
> I suppose we should provide `getSizeOfXXX` prim-op which consume a state
> token for other array type as well since the array size is not
> referential transparent now.

New description:

 This issue arised in the recently PR to bring unified array interface to
 primitive: https://github.com/haskell/primitive/pull/64 . In that PR
 andrewthad ask if we want to keep `shrinkArr` API. My guts feeling says
 it's possible for other type of array as well since it's just the same
 closure overwrite thing. So i'm asking for adding such prim-op here.

 I suppose we should provide `getSizeOfXXX` prim-op which consume a state
 token for other array type as well since the array size is not referential
 transparent now.

--

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