testsuite/tests/rep-poly/RepPolyFFI.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE MagicHash #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE UnliftedFFITypes #-}

module RepPolyFFI1 where

import GHC.Exts

foreign import ccall safe "foo" foo
  :: forall {l} (a :: TYPE (BoxedRep l)). Array# a -> Array# a