Commit 59694a79 authored by Ian Lynagh's avatar Ian Lynagh

Add a test for types of GHC FFI primitive imports

parent c9a03477
......@@ -37,3 +37,4 @@ test('1357', normal, compile, [''])
test('3624', normal, compile, [''])
test('3742', normal, compile, [''])
test('cc015', normal, compile, [''])
test('cc016', normal, compile, [''])
{-# 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
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment