blob: ba1465b26a3fc3092e6d7025eeb86eaa0e8f5071 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
T19737.hs:(10,2)-(14,9): Splicing declarations
pure
[TySynInstD
(TySynEqn Nothing (ConT ''T `AppT` ConT ''Char) (ConT ''Char)),
TySynInstD
(TySynEqn
Nothing (ParensT (ConT ''T) `AppT` ConT ''Int) (ConT ''Int)),
TySynInstD
(TySynEqn
Nothing (ParensT (ConT ''T `AppT` ConT ''Bool)) (ConT ''Bool)),
TySynInstD
(TySynEqn
Nothing
(ParensT (ParensT (ConT ''T `AppT` ParensT (ConT ''Double))))
(ConT ''Double))]
======>
type instance T Char = Char
type instance (T) Int = Int
type instance (T Bool) = Bool
type instance ((T (Double))) = Double
|
