blob: a2776b8cc8d11fa6b30a3f92179ae4093d2b9ce5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
T14869.hs:19:3-9: Splicing declarations pure [] ======>
T14869.hs:22:10-42: Splicing expression
reify ''Foo1 >>= stringE . pprint
======>
"type family T14869.Foo1 :: *"
T14869.hs:23:10-42: Splicing expression
reify ''Foo2 >>= stringE . pprint
======>
"type family T14869.Foo2 :: Constraint"
T14869.hs:24:10-42: Splicing expression
reify ''Foo3 >>= stringE . pprint
======>
"type family T14869.Foo3 :: T14869.MyConstraint"
T14869.hs:25:10-42: Splicing expression
reify ''Foo4 >>= stringE . pprint
======>
"type family T14869.Foo4 :: *"
|
