testsuite/tests/typecheck/should_fail/ExplicitSpecificity8.hs


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

{-# LANGUAGE RankNTypes, PolyKinds, GADTs #-}

module ExplicitSpecificity8 where

import GHC.Types

data T1 :: forall k -> k -> Type

data T2 :: forall {k} -> k -> Type

foo1 :: T1 Type Int -> ()
foo1 _ = ()

foo2 :: T2 Type Int -> ()
foo2 _ = ()