diff options
Diffstat (limited to 'testsuite/tests/partial-sigs/should_compile/T11670.hs')
-rw-r--r-- | testsuite/tests/partial-sigs/should_compile/T11670.hs | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/testsuite/tests/partial-sigs/should_compile/T11670.hs b/testsuite/tests/partial-sigs/should_compile/T11670.hs new file mode 100644 index 0000000000..8b0611fda1 --- /dev/null +++ b/testsuite/tests/partial-sigs/should_compile/T11670.hs @@ -0,0 +1,16 @@ +{-# LANGUAGE InstanceSigs, PartialTypeSignatures #-} + +module T11670 where + +import Foreign.C.Types +import Foreign.Storable +import Foreign.Ptr + +peek :: Ptr a -> IO CLong +peek ptr = peekElemOff undefined 0 :: IO _ + +peek2 :: Ptr a -> IO CLong +peek2 ptr = peekElemOff undefined 0 :: _ => IO _ + +-- castPtr :: Ptr a -> Ptr b +-- peekElemOff :: Storable a => Ptr a -> Int -> IO a |