-
Notifications
You must be signed in to change notification settings - Fork 0
/
hie.yaml
139 lines (94 loc) · 4.15 KB
/
hie.yaml
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
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
cradle:
cabal:
- path: "build/./Main.hs"
component: "build-plugins-for-blobs:exe:build-plugins-for-blobs"
- path: "build/./Paths_build_plugins_for_blobs.hs"
component: "build-plugins-for-blobs:exe:build-plugins-for-blobs"
- path: "ghc-corroborate/ghc-corroborate/src-ghc-tree"
component: "lib:ghc-corroborate"
- path: "ghc-corroborate/ghc-corroborate/src-ghc-9.2"
component: "lib:ghc-corroborate"
- path: "ghc-tcplugins-trace/ghc-tcplugins-trace/src"
component: "lib:ghc-tcplugins-trace"
- path: "simple-smt/./"
component: "lib:simple-smt"
- path: "thoralf-encode/src"
component: "lib:thoralf-encode"
- path: "thoralf-plugin/src"
component: "lib:thoralf-plugin"
- path: "thoralf-plugin-defs/src"
component: "lib:thoralf-plugin-defs"
- path: "thoralf-plugin-rows/src"
component: "lib:thoralf-plugin-rows"
- path: "thoralf-plugin-rows/src-StandaloneKindSignatures"
component: "lib:thoralf-plugin-rows"
- path: "thoralf-plugin-rows/test-suite-rows"
component: "thoralf-plugin-rows:test:rows"
- path: "thoralf-plugin-uom/src"
component: "lib:thoralf-plugin-uom"
- path: "thoralf-plugin-uom/src-StandaloneKindSignatures"
component: "lib:thoralf-plugin-uom"
- path: "thoralf-plugin-uom/test-suite-defs"
component: "thoralf-plugin-uom:test:defs"
- path: "thoralf-plugin-uom/test-suite-delay-eq"
component: "thoralf-plugin-uom:test:delay-eq"
- path: "thoralf-plugin-uom/test-suite-force"
component: "thoralf-plugin-uom:test:force"
- path: "thoralf-plugin-uom/test-suite-units"
component: "thoralf-plugin-uom:test:units"
- path: "thoralf-plugin-uom/test-suite-units-ghc-9.2"
component: "thoralf-plugin-uom:test:units"
- path: "thoralf-plugin-uom/test-suite-uom-diy"
component: "thoralf-plugin-uom:test:uom-diy"
- path: "thoralf-plugin-uom/test-suite-uom-quantity"
component: "thoralf-plugin-uom:test:uom-quantity"
- path: "thoralf-theory/src"
component: "lib:thoralf-theory"
- path: "thoralf-theory/src-StandaloneKindSignatures"
component: "lib:thoralf-theory"
- path: "uom-plugin/src"
component: "lib:uom-plugin"
- path: "uom-plugin/doc-ghc-9.2"
component: "lib:uom-plugin"
- path: "uom-plugin/test-suite-defs"
component: "uom-plugin:test:defs"
- path: "uom-plugin/test-suite-force"
component: "uom-plugin:test:force"
- path: "uom-plugin/test-suite-units"
component: "uom-plugin:test:units"
- path: "uom-plugin/test-suite-units-ghc-9.2"
component: "uom-plugin:test:units"
- path: "uom-plugin/test-suite-units"
component: "uom-plugin:test:unpack-solve"
- path: "uom-plugin/test-suite-units-ghc-9.2"
component: "uom-plugin:test:unpack-solve"
- path: "uom-plugin-defs/src"
component: "lib:uom-plugin-defs"
- path: "uom-plugin-examples/./Examples.hs"
component: "uom-plugin-examples:exe:uom-plugin-examples"
- path: "uom-plugin-examples/./RationalExamples.hs"
component: "uom-plugin-examples:exe:uom-plugin-examples"
- path: "uom-plugin-examples/./Paths_uom_plugin_examples.hs"
component: "uom-plugin-examples:exe:uom-plugin-examples"
- path: "uom-plugin-tutorial/src"
component: "uom-plugin-tutorial:test:doctest"
- path: "uom-plugin-tutorial/doc-ghc-9.2"
component: "uom-plugin-tutorial:test:doctest"
- path: "uom-plugin-tutorial/test-suite-doctest-ghc-9.2"
component: "uom-plugin-tutorial:test:doctest"
- path: "uom-quantity/src"
component: "lib:uom-quantity"
- path: "uom-quantity/src-ghc-9.0"
component: "lib:uom-quantity"
- path: "uom-quantity/src-StandaloneKindSignatures"
component: "lib:uom-quantity"
- path: "uom-quantity/src"
component: "uom-quantity:test:doctest"
- path: "uom-quantity/src-ghc-9.0"
component: "uom-quantity:test:doctest"
- path: "uom-quantity/src-StandaloneKindSignatures"
component: "uom-quantity:test:doctest"
- path: "uom-th/src"
component: "lib:uom-th"
- path: "uom-th/src-StandaloneKindSignatures"
component: "lib:uom-th"