testsuite/tests/codeGen/should_fail/CheckBoundsReadSmallArray.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14

{-# LANGUAGE UnboxedTuples #-}
{-# LANGUAGE MagicHash #-}

module Main where

import GHC.Exts
import GHC.IO

main :: IO ()
main = do
    IO $ \s0 ->
      case newSmallArray# 5# () s0 of
        (# s1, marr #) -> readSmallArray# marr (-1#) s1