blob: eccd0a95a9a20b4373a19d7ed5bd99d10fcf4a74 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeFamilies #-}
module T7532a where
import Language.Haskell.TH
class C a where
data D a
bang' :: DecsQ
bang' = return [
InstanceD Nothing Nothing [] (AppT (ConT ''C) (ConT ''Int)) [
DataInstD [] Nothing (AppT (ConT ''D) (ConT ''Int)) Nothing [
NormalC (mkName "T") []] []]]
|