blob: 2002573e5e9f6d380ba182777fbf01c0929171fa (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
{-# LANGUAGE BangPatterns #-}
{-# LANGUAGE BlockArguments #-}
{-# LANGUAGE MagicHash #-}
{-# LANGUAGE StandaloneKindSignatures #-}
{-# LANGUAGE UnboxedTuples #-}
{-# LANGUAGE UnliftedDatatypes #-}
module Main where
import GHC.Exts
import GHC.IO
type U :: UnliftedType
data U = U Int#
main :: IO ()
main = do
let star = U 1612#
res <- IO \ s0 ->
case newArray# 10# star s0 of
(# s1, arr #) ->
case readArray# arr 7# s1 of
(# s2, U v0 #) ->
case casArray# arr 7# star (U 1728#) s2 of
(# s2, i, U f #) ->
case casArray# arr 7# star (U 1989#) s2 of
(# s3, j, U g #) ->
(# s3, [ I# v0, I# i, I# f, I# j, I# g ] #)
print res
|
