-
Notifications
You must be signed in to change notification settings - Fork 1
/
agda-llvm.cabal
153 lines (143 loc) · 3.82 KB
/
agda-llvm.cabal
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
140
141
142
143
144
145
146
147
148
149
150
151
152
153
cabal-version: 2.4
name: agda-llvm
version: 0.1.0.0
-- synopsis:
-- description:
license: MIT
license-file: LICENSE
author: Martin Fredin
maintainer: fredin.martin@gmail.com
-- copyright:
build-type: Simple
extra-doc-files: CHANGELOG.md
-- extra-source-files:
common commons
default-language: GHC2021
default-extensions:
LambdaCase
PatternSynonyms
OverloadedRecordDot
BlockArguments
PatternSynonyms
LexicalNegation
ghc-options:
-W
-- ghc-options:
-- -Werror
-- -Werror=cpp-undef
-- -Werror=deprecated-flags
-- -Werror=deriving-typeable
-- -Werror=dodgy-exports
-- -Werror=dodgy-foreign-imports
-- -Werror=dodgy-imports
-- -Werror=duplicate-exports
-- -Werror=empty-enumerations
-- -Werror=identities
-- -Werror=inaccessible-code
-- -Werror=inline-rule-shadowing
-- -Werror=missing-fields
-- -Werror=missing-home-modules
-- -Werror=missing-methods
-- -Werror=missing-pattern-synonym-signatures
-- -Werror=missing-signatures
-- -Werror=noncanonical-monad-instances
-- -Werror=noncanonical-monoid-instances
-- -Werror=overflowed-literals
-- -Werror=overlapping-patterns
-- -Werror=semigroup
-- -Werror=simplifiable-class-constraints
-- -Werror=star-binder
-- -Werror=star-is-type
-- -Werror=tabs
-- -Werror=typed-holes
-- -Werror=unbanged-strict-patterns
-- -Werror=unrecognised-pragmas
-- -Werror=unrecognised-warning-flags
-- -Werror=unticked-promoted-constructors
-- -Werror=unused-do-bind
-- -Werror=unused-foralls
-- -Werror=warnings-deprecations
-- -Werror=wrong-do-bind
--
-- -- Warnings
-- -Wunused-imports
library
import: commons
exposed-modules:
Compiler.Grin.Codegen
Compiler.Grin.Grin
Compiler.Grin.GrinInterpreter
Compiler.Grin.GrinTransformations
Compiler.Grin.HeapPointsTo
Compiler.Grin.HeapPointsToType
Compiler.Grin.Perceus
Compiler.Grin.SolveEquations
Compiler.Llvm.Codegen
Compiler.Llvm.Compiler
Compiler.Llvm.Llvm
Compiler.Treeless.TreelessTransform
Utils.Foldable
Utils.List
Utils.List1
Utils.Map
Utils.Monad
Utils.Set
Utils.Utils
build-depends:
, Agda >= 2.6.4
, base >= 4.12.0.0 && < 4.20
, containers >= 0.6.0.1 && < 0.7
, deepseq >= 1.4.4.0 && < 1.5
, filepath
, transformers >= 0.6.0.2 && < 0.7
, mtl
, extra
, pretty
hs-source-dirs: src
library gen
hs-source-dirs: gen
exposed-modules:
Formalize.GlobalScope
Formalize.MiniGrin
Formalize.Scope
Formalize.Syntax.Common
Formalize.Syntax.Grin
Formalize.Syntax.RcGrin
Formalize.Test
Formalize.Utils.Erase
build-depends:
, base >= 4.12.0.0 && < 4.20
ghc-options:
-fno-warn-incomplete-patterns
-Wno-incomplete-patterns
-fno-warn-name-shadowing
default-language: GHC2021
executable agda-llvm
import: commons
hs-source-dirs: app
main-is: Main.hs
build-depends:
, Agda >= 2.6.4
, agda-llvm
, base >= 4.12.0.0 && < 4.20
test-suite test
import: commons
type: exitcode-stdio-1.0
hs-source-dirs: test/
main-is: Test.hs
build-depends:
, Agda >= 2.6.4
, agda-llvm
, base >= 4.12.0.0 && < 4.20
-- , bytestring
-- , containers >= 0.6.0.1 && < 0.7
-- , deepseq >= 1.4.4.0 && < 1.5
-- , extra
-- , filepath
-- , mtl
, tasty >= 1.1.0.4 && < 1.5
, tasty-quickcheck
, QuickCheck
-- , tasty-silver >= 3.1.13 && < 3.4
-- , text
-- , unix-compat >= 0.4.3.1 && < 0.8