Test for Trac #1037

testsuite/tests/ghc-regress/ccall/should_fail/all.T

@@ -7,4 +7,4 @@ setTestOpts(f)
 # test('cc002', normal, compile_fail, [''])
 
 test('cc005', only_compiler_types(['ghc']), compile_fail, [''])
-
+test('ccfail001', only_compiler_types(['ghc']), compile_fail, [''])

testsuite/tests/ghc-regress/ccall/should_fail/ccfail001.hs

+{-# OPTIONS -fffi -fglasgow-exts #-}
+
+-- Trac #1037 
+
+module Foo where
+
+import GHC.Prim
+
+foreign import ccall foo :: Int -> State# RealWorld

testsuite/tests/ghc-regress/ccall/should_fail/ccfail001.stderr

+
+ccfail001.hs:9:0:
+    Unacceptable result type in foreign declaration: State# RealWorld
+    When checking declaration:
+	foreign import ccall safe "static  &foo" foo
+	  :: Int -> State# RealWorld