-
Notifications
You must be signed in to change notification settings - Fork 17
/
ermine.cabal
422 lines (381 loc) · 10.5 KB
/
ermine.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
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
cabal-version: 2.2
name: ermine
category: Compiler
version: 0.6
license: BSD-2-Clause
license-file: LICENSE
author: Edward A. Kmett
maintainer: Edward A. Kmett <[email protected]>
stability: provisional
homepage: http://github.com/ekmett/ermine
bug-reports: http://github.com/ekmett/ermine/issues
copyright: Copyright (C) 2010-2014 McGraw Hill Financial
synopsis: Ermine
description:
This is a port of the compiler for the Ermine functional programming language from Scala.
.
> _,-/"---,
> ;""""""""""; _`;; "" <@`---v
> ; ::::: :: "' _` ;; " _.../
> ;" ;; ;;; '",-`:: ;;,'""""
> ;" ;;;;. ;; ;;; ::` ____
> ,/ / ;; ;;;______;;; ;;; ::,` / __/_____ _ ( )__ __
> /;; _;; ;;; ; ; / _//`__/ ' \/ /`_ \/ -)
> | :/ / ,;' ;_ "")/ /___/_/ /_/_/_/_/_//_/\__/ 0.6
> ; ; / /"""= \;;\\""= Copyright (C) 2010-14 McGraw Hill Financial
> ;"""';\::""""""= \\"""=
> \/"""
.
<<overview.png>>
.
For more information, you can watch the <https://www.youtube.com/watch?v=o3m2NkusI9k Presentation by Edward Kmett> at CUFP 2013 about the genesis and goals of Ermine.
custom-setup
setup-depends: base >=4.11 && <4.12,
filepath >=1.4 && <1.5,
process >=1.6 && <1.7,
Cabal >=2.2 && <2.3,
cabal-doctest >=1.0 && <1.1,
extra-source-files:
.travis.yml
.vim.custom
.gitignore
README.markdown
CHANGELOG.markdown
bin/overview.sh
etc/logo.txt
etc/logos.txt
etc/overview.png
opt/ekg/Ermine/Monitor.hs
opt/no-ekg/Ermine/Monitor.hs
source-repository head
type: git
location: git://github.com/ekmett/ermine.git
-- TODO we can't use if to enable this by default on not-windows due
-- to https://github.com/haskell/cabal/issues/2429
flag ekg
manual: True
default: False
-- `cabal install --enable-tests -f-doctests` to disable doctest suite
flag doctests
manual: True
default: True
-- `cabal install --enable-tests -f-properties` to disable properties suite
flag properties
manual: True
default: True
-- `cabal instll -fj` to enable parallel builds. This may trigger open issues in GHC!
flag j
manual: True
default: False
-- `cabal install --enable-tests -f-hlint` to disable properties suite
flag hlint
manual: True
default: True
-- `cabal install -foptimized` enables optimizations
flag optimized
manual: True
default: False
-- `cabal install -f-core-echo` disables building the core-echo tool.
flag core-echo
manual: True
default: True
-- `cabal install -f-repl` to disable compiling the repl
flag repl
manual: True
default: True
-- `cabal install -fq` to quiet down the build messages
flag q
manual: True
default: False
library
default-language: Haskell2010
hs-source-dirs: src
exposed-modules:
Ermine.Builtin.Core
Ermine.Builtin.Global
Ermine.Builtin.Head
Ermine.Builtin.Pattern
Ermine.Builtin.Term
Ermine.Builtin.Type
Ermine.Console.Command
Ermine.Console.Completion
Ermine.Console.Module
Ermine.Console.Options
Ermine.Console.State
Ermine.Console.Unicode
Ermine.Constraint.Env
Ermine.Constraint.Simplification
Ermine.Core.Lint
Ermine.Core.Module
Ermine.Core.Optimizer
Ermine.Core.Compiler
Ermine.Diagnostic
Ermine.Inference.Kind
Ermine.Inference.Module
Ermine.Inference.Type
Ermine.Inference.Witness
Ermine.Interpreter
Ermine.Loader.Core
Ermine.Loader.Filesystem
Ermine.Loader.MapCache
Ermine.Monitor
Ermine.Monitor.Combinators
Ermine.Monitor.Exception
Ermine.Monitor.Options
Ermine.Parser
Ermine.Parser.Data
Ermine.Parser.Global
Ermine.Parser.Keywords
Ermine.Parser.Kind
Ermine.Parser.Literal
Ermine.Parser.Module
Ermine.Parser.Pattern
Ermine.Parser.Resolver
Ermine.Parser.State
Ermine.Parser.Style
Ermine.Parser.Type
Ermine.Parser.Term
Ermine.Pattern.Env
Ermine.Pattern.Matching
Ermine.Pattern.Matrix
Ermine.Pretty
Ermine.Pretty.Core
Ermine.Pretty.G
Ermine.Pretty.Global
Ermine.Pretty.Kind
Ermine.Pretty.Literal
Ermine.Pretty.Pattern
Ermine.Pretty.Term
Ermine.Pretty.Type
Ermine.Syntax
Ermine.Syntax.Class
Ermine.Syntax.G
Ermine.Syntax.Constructor
Ermine.Syntax.Convention
Ermine.Syntax.Core
Ermine.Syntax.Data
Ermine.Syntax.Digest
Ermine.Syntax.Global
Ermine.Syntax.Head
Ermine.Syntax.Hint
Ermine.Syntax.Id
Ermine.Syntax.Instance
Ermine.Syntax.Kind
Ermine.Syntax.Literal
Ermine.Syntax.Module
Ermine.Syntax.ModuleName
Ermine.Syntax.Name
Ermine.Syntax.Pattern
Ermine.Syntax.Scope
Ermine.Syntax.Sort
Ermine.Syntax.Term
Ermine.Syntax.Type
Ermine.Unification.Class
Ermine.Unification.Data
Ermine.Unification.Kind
Ermine.Unification.Meta
Ermine.Unification.Sharing
Ermine.Unification.Type
Ermine.Version
build-depends:
adjunctions >= 4.0.3,
ansi-wl-pprint >= 0.6.6,
base >= 4,
bifunctors >= 4.1.1,
binary >= 0.7.1,
bound >= 1.0.3,
bytes >= 0.11,
bytestring >= 0.10,
cereal >= 0.4.0.1,
comonad >= 4,
containers >= 0.5,
cryptohash >= 0.11,
data-default >= 0.5,
directory >= 1.2.1.0,
distributive >= 0.4.1,
exceptions >= 0.4,
filepath >= 1.3,
file-embed >= 0.0.6,
ghc-prim,
groom >= 0.1.2,
hashable >= 1.2,
haskeline >= 0.7.0.3,
hyphenation >= 0.4,
lens >= 4.4,
mtl >= 2.1,
monad-st >= 0.2.3,
optparse-applicative >= 0.11,
parsers >= 0.8,
prelude-extras >= 0.3,
primitive >= 0.5.2.1,
profunctors >= 4.2,
random >= 1.0.0.3,
semigroups >= 0.9,
split >= 0.2.1.1,
tagged >= 0.7,
text >= 1.1,
time >= 1.4,
transformers >= 0.3,
transformers-compat >= 0.4,
trifecta >= 1.7.1.1,
unordered-containers >= 0.2.3,
utf8-string >= 0.3.7,
vector >= 0.10,
void >= 0.6
if flag(ekg)
build-depends:
ekg >= 0.4 && < 0.5,
process >= 1.2 && < 1.3
hs-source-dirs: opt/ekg
else
hs-source-dirs: opt/no-ekg
other-modules: Paths_ermine
ghc-options: -Wall
if flag(optimized)
ghc-options: -funbox-strict-fields -O2
else
ghc-options: -O0
if flag(q)
ghc-options: -v0
if flag(j) && impl(ghc >= 7.8)
ghc-options: -j3
executable core-echo
default-language: Haskell2010
hs-source-dirs: exe/core-echo
main-is: Main.hs
ghc-options: -Wall -threaded -rtsopts -with-rtsopts=-N -v0
if flag(optimized)
ghc-options: -funbox-strict-fields -O2
else
ghc-options: -O0
if !flag(core-echo)
buildable: False
else
build-depends:
base < 5,
binary,
bytestring,
ermine
executable ermine
default-language: Haskell2010
hs-source-dirs: exe/repl
main-is: Main.hs
ghc-options: -Wall -threaded -rtsopts -with-rtsopts=-N -v0
if flag(optimized)
ghc-options: -funbox-strict-fields -O2
else
ghc-options: -O0
if flag(ekg)
ghc-options: -with-rtsopts=-T
if !flag(repl)
buildable: False
else
build-depends:
base < 5,
data-default,
ermine,
haskeline,
lens,
mtl,
optparse-applicative
test-suite unit-tests
default-language: Haskell2010
type: exitcode-stdio-1.0
main-is: UnitTests.hs
ghc-options: -w -threaded -rtsopts -with-rtsopts=-N -v0
hs-source-dirs: tests/unit-tests
if flag(j) && impl(ghc >= 7.8)
ghc-options: -j3
other-modules:
LoaderTests
ParserTests
TestDef
if !flag(properties)
buildable: False
else
build-depends:
base,
ermine,
filemanip >= 0.3.6.2,
filepath,
lens,
HUnit,
test-framework >= 0.6,
test-framework-hunit,
text,
transformers,
transformers-compat,
unordered-containers
-- Verify properties with QuickCheck
test-suite properties
default-language: Haskell2010
type: exitcode-stdio-1.0
main-is: properties.hs
ghc-options: -w -threaded -rtsopts -with-rtsopts=-N -v0
hs-source-dirs: tests tests/properties
if flag(j) && impl(ghc >= 7.8)
ghc-options: -j3
other-modules:
Arbitrary.Arbitrary
Arbitrary.CoreArbitrary
Arbitrary.SyntaxArbitrary
Binary
Inference
Loader
Parser
Pattern
Syntax
Var
if !flag(properties)
buildable: False
else
build-depends:
base,
bifunctors >= 4.2,
binary,
bound >= 2.0,
bytestring,
containers,
ermine,
hashable >= 1.2.3.1,
lens,
monad-st,
prelude-extras,
QuickCheck >= 2.7,
quickcheck-instances >= 0.3.1,
semigroups >= 0.16.0.1,
test-framework >= 0.6,
test-framework-quickcheck2 >= 0.2,
test-framework-th >= 0.2,
transformers,
unordered-containers,
void >= 0.6 && < 1
test-suite hlint
default-language: Haskell2010
type: exitcode-stdio-1.0
main-is: hlint.hs
ghc-options: -w -threaded -rtsopts -with-rtsopts=-N
hs-source-dirs: tests
if !flag(hlint)
buildable: False
else
build-depends:
base,
hlint >= 1.7
-- Verify the results of the examples
test-suite doctests
default-language: Haskell2010
type: exitcode-stdio-1.0
main-is: doctests.hs
ghc-options: -Wall -threaded -v0
hs-source-dirs: tests
if !flag(doctests)
buildable: False
else
build-depends:
base,
directory >= 1.0,
doctest >= 0.9.1,
filepath
if impl(ghc<7.6.1)
ghc-options: -Werror