Integer overflow in array allocation

When asked to create a sufficiently large array ghci coredumps.

Edit: new example

import Data.Array.MArray
import Data.Array.IO
import Data.Word

main = do
  m <- newArray_ (0,2^62-1) :: IO (IOUArray Int Word32) -- allocates 0 bytes
  writeArray m 17 12345 -- write wherever you like
  mapM (\x -> writeArray m x 0) [1..10000] -- core dump

Load this into ghci and type 'main'.

Edited Mar 10, 2019 by Thomas Miedema

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information