summaryrefslogtreecommitdiff
path: root/tests/examples/ghc80/Dep3.hs
blob: cba5043a088e54c909bbf64f2d9e7d6edcd461f3 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
{-# LANGUAGE TypeFamilies, TypeInType, GADTs #-}

module Dep3 where

import Data.Kind
import GHC.Exts ( Constraint )

type Star1 = *

data Id1 (a :: Star1) where
  Id1 :: a -> Id1 a

data Id1' :: Star1 -> * where
  Id1' :: a -> Id1' a

type family Star2 x where
  Star2 x = *

data Id2a (a :: Star2 Constraint) = Id2a a


data Id2 (a :: Star2 Constraint) where
  Id2 :: a -> Id2 a

data Id2' :: Star2 Constraint -> * where
  Id2' :: a -> Id2' a