summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_compile/T11670.hs
blob: 8b0611fda1f173d8df96e740fefe74a20a665ba4 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
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