Visible dependent quantification
[ghc.git] / testsuite / tests / dependent / should_fail / T16326_Fail2.stderr
1
2 T16326_Fail2.hs:6:37: error:
3     • Illegal visible, dependent quantification in the type of a term:
4         forall a -> a -> IO ()
5       (GHC does not yet support this)
6     • In the type signature: blah :: forall a -> a -> IO ()
7       When checking declaration:
8         foreign import ccall safe "blah" blah :: forall a -> a -> IO ()