blob: 265934be1abcd44e0dbf21d42471d7ca31431264 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE MultiParamTypeClasses #-}
module T10819 where
import T10819_Lib
import Language.Haskell.TH.Syntax
class C a b | b -> a where
f :: b -> a
data D = X
instance C Int D where
f X = 2
$(doSomeTH "N" (mkName "D")
[DerivClause Nothing [ConT (mkName "C") `AppT` ConT (mkName "Int")]])
thing :: N
thing = N X
thing1 :: Int
thing1 = f thing
|
