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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
|
==========================
At point (31,9), we found:
==========================
┌
│ $dC at HieQueries.hs:31:1-13, of type: C [a]
│ is an evidence variable bound by a let, depending on: [$fC[], $dC]
│ with scope: LocalScope HieQueries.hs:31:1-13
│ bound at: HieQueries.hs:31:1-13
│ Defined at <no location info>
└
|
+- ┌
| │ $fC[] at HieQueries.hs:27:10-21, of type: forall a. C a => C [a]
| │ is an evidence variable bound by an instance of class C
| │ with scope: ModuleScope
| │
| │ Defined at HieQueries.hs:27:10
| └
|
`- ┌
│ $dC at HieQueries.hs:31:1-13, of type: C a
│ is an evidence variable bound by a type signature
│ with scope: LocalScope HieQueries.hs:31:1-13
│ bound at: HieQueries.hs:31:1-13
│ Defined at <no location info>
└
==========================
At point (37,9), we found:
==========================
┌
│ $dShow at HieQueries.hs:37:1-22, of type: Show [(Integer, x, A)]
│ is an evidence variable bound by a let, depending on: [$fShow[],
│ $dShow]
│ with scope: LocalScope HieQueries.hs:37:1-22
│ bound at: HieQueries.hs:37:1-22
│ Defined at <no location info>
└
|
+- ┌
| │ $fShow[] at HieQueries.hs:37:1-22, of type: forall a. Show a => Show [a]
| │ is a usage of an external evidence variable
| │ Defined in `GHC.Show'
| └
|
`- ┌
│ $dShow at HieQueries.hs:37:1-22, of type: Show (Integer, x, A)
│ is an evidence variable bound by a let, depending on: [$fShow(,,),
│ $dShow, $dShow, $dShow]
│ with scope: LocalScope HieQueries.hs:37:1-22
│ bound at: HieQueries.hs:37:1-22
│ Defined at <no location info>
└
|
+- ┌
| │ $fShow(,,) at HieQueries.hs:37:1-22, of type: forall a b c. (Show a, Show b, Show c) => Show (a, b, c)
| │ is a usage of an external evidence variable
| │ Defined in `GHC.Show'
| └
|
+- ┌
| │ $dShow at HieQueries.hs:37:1-22, of type: Show Integer
| │ is an evidence variable bound by a let, depending on: [$fShowInteger]
| │ with scope: LocalScope HieQueries.hs:37:1-22
| │ bound at: HieQueries.hs:37:1-22
| │ Defined at <no location info>
| └
| |
| `- ┌
| │ $fShowInteger at HieQueries.hs:37:1-22, of type: Show Integer
| │ is a usage of an external evidence variable
| │ Defined in `GHC.Show'
| └
|
+- ┌
| │ $dShow at HieQueries.hs:37:1-22, of type: Show x
| │ is an evidence variable bound by a type signature
| │ with scope: LocalScope HieQueries.hs:37:1-22
| │ bound at: HieQueries.hs:37:1-22
| │ Defined at <no location info>
| └
|
`- ┌
│ $dShow at HieQueries.hs:37:1-22, of type: Show A
│ is an evidence variable bound by a let, depending on: [$fShowA]
│ with scope: LocalScope HieQueries.hs:37:1-22
│ bound at: HieQueries.hs:37:1-22
│ Defined at <no location info>
└
|
`- ┌
│ $fShowA at HieQueries.hs:42:21-24, of type: Show A
│ is an evidence variable bound by an instance of class Show
│ with scope: ModuleScope
│
│ Defined at HieQueries.hs:42:21
└
|
