blob: 9ed242887787c4509635cf41ae00bd268075f8fb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE TemplateHaskell #-}
module T5566 where
class C a where
c :: a
$([d| instance C Int where c = 0 |] )
data D = D
$([d| instance C D where c = D |] )
$([d| instance Show D where show _ = "D" |] )
|