testsuite/tests/typecheck/should_fail/T18127a.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

{-# LANGUAGE RankNTypes #-}
module T18127a where

a :: (forall a. a) -> ()
a = undefined

b :: (Show a => a) -> ()
b = undefined

type C = forall a. a
c :: C -> ()
c = undefined

type D a = Show a => a
d :: D a -> ()
d = undefined