<div dir="ltr">Hi libraries@,<div><br></div><div>In GHC.Prim, it is documented that Array# and ArrayArray# have the same runtime representation. I'd like to exploit this to put unlifted and lifted pointers into the same array (for example, unlifted pointers at even indices and lifted pointers at odd indices). The reason I want to do this is to save some array header words, and also to improve the cache locality of my data, so that a read of a (lifted, unlifted) pointer pair only needs to touch a single cache line rather than two.</div><div><br></div><div>I believe it is safe to do this (put unlifted and lifted pointers in the same array), as long as I always read at the same liftedness and type that I ran the write at for that index. Can you confirm?</div><div><br></div><div>Specifically, I'm expecting to use a code pattern like the following, to read an unlifted value from an Array#, by coercing the Array# to ArrayArray#, then doing the unlifted read there:</div><div><br></div><div><div><font face="monospace">coerceToArrayArray :: Array# a -> ArrayArray#</font></div><div><font face="monospace">coerceToArrayArray = unsafeCoerce#</font></div><div><font face="monospace"><br></font></div><div><font face="monospace">coerceToUnlifted :: forall (b :: TYPE 'UnliftedRep). ArrayArray# -> b</font></div><div><font face="monospace">coerceToUnlifted = unsafeCoerce#</font></div><div><font face="monospace"><br></font></div><div><font face="monospace">indexUnliftedFromArray ::</font></div><div><font face="monospace">  forall a (b :: TYPE 'UnliftedRep). Array# a -> Int# -> b</font></div><div><font face="monospace">indexUnliftedFromArray arr i =</font></div><div><font face="monospace">  coerceToUnlifted (indexArrayArrayArray# (coerceToArrayArray arr) i)</font></div></div><div><br></div><div>Similarly, I'm expecting to do writes by coercing the array to a MutableArrayArray# and doing the writes to that.</div><div><br></div><div>Reiner</div></div>