Prana primops demo

ArrayTest.hs

{-# LANGUAGE MagicHash, UnboxedTuples #-}

-- | Test some of the ops for Array# and MutableArray#.

module ArrayTest where

import GHC.Exts
import GHC.Types (IO(..))

it :: IO (Char, Int, Char)
it =
  IO
    (\s ->
       case newArray# 22# 'a' s of
         (# s', array #) ->
           case readArray# array 0# s' of
             (# s'', ch #) ->
               case unsafeFreezeArray# array s'' of
                 (# s''', arr #) ->
                   (# s'''
                    , ( ch
                      , I# (sizeofMutableArray# array)
                      , case indexArray# arr 1# of
                          (# x #) -> x)#))

output.hs

[ BeginConStep (UnboxedTupleConId 1)
, BeginConStep
    (DataConId
       (TypeId {typeIdInt = 117})
       (ConIndex {conIndexInt = 0}))
, BeginConStep
    (DataConId
       (TypeId {typeIdInt = 21})
       (ConIndex {conIndexInt = 0}))
, LitStep (CharLit 'a')
, EndConStep
, BeginConStep
    (DataConId
       (TypeId {typeIdInt = 20})
       (ConIndex {conIndexInt = 0}))
, LitStep (IntLit 22)
, EndConStep
, BeginConStep
    (DataConId
       (TypeId {typeIdInt = 21})
       (ConIndex {conIndexInt = 0}))
, LitStep (CharLit 'a')
, EndConStep
, EndConStep
, EndConStep
]