testsuite/tests/ffi/should_compile/cc016.hs


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


{-# LANGUAGE TypeFamilies, GHCForeignImportPrim, MagicHash,
             UnliftedFFITypes #-}

module Cc015 where

import Foreign
import Foreign.C.Types
import GHC.Prim

type family F a
type instance F Int = Int# -> Int#

foreign import prim "f" f :: F Int