Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T14515.hs
1 {-# LANGUAGE RankNTypes #-}
2 {-# LANGUAGE DataKinds #-}
3 {-# LANGUAGE PolyKinds #-}
4 module Bug where
5
6 import Data.Kind
7
8 type HRank1 ty = forall k1. k1 -> ty
9 type HRank2 ty = forall k2. k2 -> ty
10
11 data HREFL11 :: HRank1 (HRank1 Type) -- FAILS
12 data HREFL12 :: HRank1 (HRank2 Type)
13 data HREFL21 :: HRank2 (HRank1 Type)
14 data HREFL22 :: HRank2 (HRank2 Type) -- FAILS