blob: c8ca5c942a5b5ae533a085efe447d0604b2cc2d5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeFamilies #-}
module T12387a where
import GHC.Generics
import Language.Haskell.TH.Lib
data Foo = Foo
$(do d <- instanceD (cxt []) (conT ''Eq `appT` conT ''Foo)
[tySynInstD $ tySynEqn Nothing (conT ''Rep `appT` conT ''Foo) (conT ''Maybe)]
return [d])
main :: IO ()
main = print $ Foo == Foo
|