summaryrefslogtreecommitdiff
path: root/tests/examples/ghc88/T12045TH1.hs
blob: 715678a9aa1487abd2d47a2ac30fb291c8c1e6f0 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
{-# LANGUAGE TemplateHaskell, DataKinds, PolyKinds
             , TypeInType, TypeApplications, TypeFamilies  #-}

module T12045TH1 where
import Data.Kind
import Language.Haskell.TH hiding (Type)

$([d| type family F (a :: k) :: Type where
                     F @Type Int = Bool
                     F @(Type->Type) Maybe = Char |])


$([d| data family D (a :: k) |])

$([d| data instance D @Type a = DBool |])

$([d| data instance D @(Type -> Type) b = DChar |])