summaryrefslogtreecommitdiff
path: root/testsuite/tests/codeGen/should_fail/CheckBoundsIndexArray.hs
blob: 12712e49cc136b6195ec1fe54611abeaffa08d29 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
{-# LANGUAGE UnboxedTuples #-}
{-# LANGUAGE MagicHash #-}

module Main where

import GHC.Exts
import GHC.IO

main :: IO ()
main = do
    IO $ \s0 ->
      case newArray# 4# () s0 of
        (# s1, marr #) ->
          case unsafeFreezeArray# marr s1 of
            (# s2, arr #) ->
              case indexArray# arr 5# of
                (# () #) -> (# s2, () #)