-
Notifications
You must be signed in to change notification settings - Fork 1
/
inferno-core.cabal
142 lines (137 loc) · 4.25 KB
/
inferno-core.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
cabal-version: 2.4
name: inferno-core
version: 0.11.0.0
synopsis: A statically-typed functional scripting language
description: Parser, type inference, and interpreter for a statically-typed functional scripting language
category: DSL,Scripting
homepage: https://github.com/plow-technologies/inferno.git#readme
bug-reports: https://github.com/plow-technologies/inferno.git/issues
copyright: Plow-Technologies LLC
license: MIT
license-file: LICENSE
author: Sam Balco
maintainer: info@plowtech.net
build-type: Simple
extra-source-files:
CHANGELOG.md
golden/**/*.json
golden/**/*.bin
source-repository head
type: git
location: https://github.com/plow-technologies/inferno.git
library
exposed-modules:
Inferno.Core
, Inferno.Eval
, Inferno.Eval.Error
, Inferno.Infer
, Inferno.Infer.Env
, Inferno.Infer.Exhaustiveness
, Inferno.Infer.Pinned
, Inferno.Module
, Inferno.Module.Cast
, Inferno.Module.Builtin
, Inferno.Module.Prelude
, Inferno.Parse
, Inferno.Parse.Commented
, Inferno.Parse.Error
, Inferno.Instances.Arbitrary
, Inferno.Utils.QQ.Script
, Inferno.Utils.QQ.Module
other-modules:
Inferno.Infer.Error
, Inferno.Module.Prelude.Defs
, Inferno.Utils.QQ.Common
hs-source-dirs:
src
ghc-options: -Wall -Wunused-packages -Wincomplete-uni-patterns -Wincomplete-record-updates -Wincomplete-patterns
build-depends:
base >= 4.13 && < 4.17
, bimap >= 0.5.0 && < 0.6
, bytestring >= 0.10.10 && < 0.12
, containers >= 0.6.2 && < 0.7
, cryptonite >= 0.30 && < 0.31
, deepseq
, dsp
, exceptions >= 0.10.4 && < 0.11
, extra >= 1.7.12 && < 1.8
, generic-lens >= 2.2.1 && < 2.3
, inferno-vc >= 0.3.0 && < 0.4
, inferno-types >= 0.4.0 && < 0.5
, megaparsec >= 9.2.1 && < 9.3
, memory >= 0.18.0 && < 0.19
, mtl >= 2.2.2 && < 2.3
, parser-combinators >= 1.3.0 && < 1.4
, picosat >= 0.1.6 && < 0.2
, prettyprinter >= 1.7.1 && < 1.8
, QuickCheck >= 2.14.2 && < 2.15
, quickcheck-arbitrary-adt >= 0.3.1 && < 0.4
, quickcheck-instances >= 0.3.28 && < 0.4
, random >= 1.2.1 && < 1.3
, recursion-schemes >= 5.2.2.3 && < 5.3
, syb >= 0.7.2 && < 0.8
, template-haskell >= 2.15 && < 2.19
, text >= 2.0.1 && < 2.1
, time >= 1.9.3 && < 1.12
default-language: Haskell2010
default-extensions:
DeriveDataTypeable
, DeriveFunctor
, DeriveGeneric
, FlexibleContexts
, FlexibleInstances
, LambdaCase
, MultiParamTypeClasses
, OverloadedStrings
, TupleSections
, RecordWildCards
test-suite inferno-tests
type: exitcode-stdio-1.0
hs-source-dirs: test
main-is: Spec.hs
other-modules:
Eval.Spec
, Golden.Spec
, Infer.Spec
, Parse.Spec
build-depends:
base >=4.7 && <5
, containers
, exceptions
, hspec
, hspec-golden-aeson
, hspec-golden-cereal
, HTF
, inferno-core
, inferno-types
, inferno-vc
, mtl
, pretty-simple
, QuickCheck
, recursion-schemes
, text
default-language: Haskell2010
default-extensions:
DeriveDataTypeable
, DeriveFunctor
, DeriveGeneric
, FlexibleContexts
, FlexibleInstances
, LambdaCase
, OverloadedStrings
, TupleSections
, RecordWildCards
ghc-options: -Wall -Wunused-packages -Wincomplete-uni-patterns -Wincomplete-record-updates -O2 -threaded
executable inferno
main-is: Main.hs
hs-source-dirs:
app
ghc-options: -Wall -Wunused-packages -Wincomplete-uni-patterns -Wincomplete-record-updates -threaded -rtsopts -with-rtsopts=-T
build-depends:
base >=4.7 && <5
, containers
, inferno-core
, inferno-types
, optparse-applicative
, text
default-language: Haskell2010