testsuite/tests/polykinds/T6129.hs


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

{-# LANGUAGE GADTs        #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE PolyKinds    #-}
{-# LANGUAGE DataKinds    #-}

module T6129 where

data family D a
data instance D a = DInt

data X a where
  X1 :: X DInt