testsuite/tests/th/T5882.hs


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

{-# LANGUAGE GADTSyntax, TemplateHaskell, KindSignatures #-}

module T5882 where

import Data.Kind (Type)

data Foo :: Type -> Type where
   Foo :: a -> Foo a

$( [d|  data Bar :: Type -> Type where
           Bar :: a -> Bar a
  |] )

f (Bar x) = Foo x