1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
{-# LANGUAGE CPP #-}
#include "MachDeps.h"
import Control.Exception
import Data.Array.MArray
import Data.Array.IO
import Data.Word
main :: IO ()
main = handle (\(exc :: SomeException) -> print exc) $ do
-- This should fail due to integer overflow
#if WORD_SIZE_IN_BITS == 64
m <- newArray_ (0,2^62-1) :: IO (IOUArray Int Word32) -- allocates 0 bytes
readArray m 17 >>= print -- Read some random location in address space
#else
m <- newArray_ (0,2^30-1) :: IO (IOUArray Int Word32) -- allocates 0 bytes
readArray m 17 >>= print -- Read some random location in address space
#endif
|
