summaryrefslogtreecommitdiff
path: root/tests/examples/ghc86/Dep3.hs
blob: f22f9f8984b089b37ec1e80cf1a8a784ade3dc3e (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 = Type

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

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

type family Star2 x where
  Star2 x = Type

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


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

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