Commit 681c11d9 authored by simonpj's avatar simonpj
Browse files

Test Trac #3066

parent 9e84eb5f
{-# LANGUAGE ForeignFunctionInterface, RankNTypes #-}
module Foo where
import Foreign
type X u = Ptr ()
foreign import ccall bla :: (forall u. X u) -> IO ()
T3066.hs:6:0:
Unacceptable argument type in foreign declaration: forall u. X u
When checking declaration:
foreign import ccall safe "static &bla" bla
:: (forall u. X u) -> IO ()
......@@ -9,3 +9,4 @@ setTestOpts(f)
test('cc005', only_compiler_types(['ghc']), compile_fail, [''])
test('ccfail001', only_compiler_types(['ghc']), compile_fail, [''])
test('ccfail002', only_compiler_types(['ghc']), compile_fail, [''])
test('T3066', only_compiler_types(['ghc']), compile_fail, [''])
Supports Markdown
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