Commit bd612773 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test Trac #8037

parent 4962f407
module T8037 where
import Unsafe.Coerce
import Foreign.C.Types
import System.IO.Unsafe
data D4 = D4 CInt CInt CInt
data Color3 = Color3 CInt CInt
crash :: D4 -> IO ()
crash x = color (unsafeCoerce x)
color :: Color3 -> IO ()
color (Color3 r g) = f (unsafePerformIO undefined) r g
foreign import ccall f :: CInt -> CInt -> CInt -> IO ()
......@@ -17,3 +17,4 @@ test('unu', normal, compile, [''])
test('newtype', req_profiling, compile, ['-prof -auto-all'])
test('T1988', normal, compile, [''])
test('T8467', normal, compile, [''])
test('T8037', normal, compile, [''])
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