solcore/sol-core.cabal at main · argotorg/solcore · GitHub

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
cabal-version: 3.4

name:           sol-core
version:        0.0.0.0
-- synopsis:       $synopsis
-- description:    $description
-- category:       $category
-- homepage:       $gitrepo#readme
-- bug-reports:    $gitrepo/issues
-- maintainer:     $maintainer
build-type:     Simple

-- source-repository head
--   type: git
--   location: $gitrepo

common common-opts

  build-depends:
      base >= 4.19.0.0
    , mtl
    , bytestring
    , containers
    , cryptonite
    , memory
    , algebraic-graphs
    , array
    , directory
    , filepath
    , megaparsec >= 9.6
    , optparse-applicative
    , parser-combinators >= 1.3
    , pretty
    , pretty-simple
    , split
    , syb
    , template-haskell
    , text
    , time
    , timeit

  default-language: Haskell2010
  default-extensions: OverloadedStrings
                      FlexibleInstances
                      FlexibleContexts
                      PatternSynonyms
                      TupleSections
                      TypeFamilies
                      BlockArguments
                      DeriveDataTypeable
                      ImportQualifiedPost
                      ScopedTypeVariables
                      TypeApplications
  ghc-options: -Wall

library
  import: common-opts

  -- cabal-fmt: expand src
  exposed-modules:
      Solcore.Backend.EmitHull
      Solcore.Backend.Mast
      Solcore.Backend.MastEval
      Solcore.Backend.Specialise
      Solcore.Desugarer.DecisionTreeCompiler
      Solcore.Desugarer.FieldAccess
      Solcore.Desugarer.IfDesugarer
      Solcore.Desugarer.IndirectCall
      Solcore.Desugarer.ReplaceWildcard
      Solcore.Desugarer.ContractDispatch
      Solcore.Desugarer.ReplaceFunTypeArgs
      Solcore.Desugarer.UniqueTypeGen
      Solcore.Frontend.Lexer.SolcoreLexer
      Solcore.Frontend.Module.Identity
      Solcore.Frontend.Module.Loader
      Solcore.Frontend.Parser.Decl
      Solcore.Frontend.Parser.Expr
      Solcore.Frontend.Parser.Patterns
      Solcore.Frontend.Parser.SolcoreParser
      Solcore.Frontend.Parser.SolcoreTypes
      Solcore.Frontend.Parser.Stmt
      Solcore.Frontend.Pretty.SolcorePretty
      Solcore.Frontend.Pretty.Name
      Solcore.Frontend.Pretty.ShortName
      Solcore.Frontend.Pretty.TreePretty
      Solcore.Frontend.Syntax
      Solcore.Frontend.Syntax.Ty
      Solcore.Frontend.Syntax.Contract
      Solcore.Frontend.Syntax.Name
      Solcore.Frontend.Syntax.NameResolution
      Solcore.Frontend.Syntax.Stmt
      Solcore.Frontend.Syntax.SyntaxTree
      Solcore.Frontend.TypeInference.Erase
      Solcore.Frontend.TypeInference.Id
      Solcore.Frontend.TypeInference.InvokeGen
      Solcore.Frontend.TypeInference.NameSupply
      Solcore.Frontend.TypeInference.SccAnalysis
      Solcore.Frontend.TypeInference.TcContract
      Solcore.Frontend.TypeInference.TcEnv
      Solcore.Frontend.TypeInference.TcMonad
      Solcore.Frontend.TypeInference.TcModule
      Solcore.Frontend.TypeInference.TcSat
      Solcore.Frontend.TypeInference.TcSimplify
      Solcore.Frontend.TypeInference.TcStmt
      Solcore.Frontend.TypeInference.TcSubst
      Solcore.Frontend.TypeInference.TcUnify
      Solcore.Pipeline.Options
      Solcore.Pipeline.SolcorePipeline
      Solcore.Primitives.Primitives
      Language.Hull
      Language.Hull.Parser
      Language.Hull.TcEnv
      Language.Hull.TcMonad
      Language.Hull.TypeCheck
      Language.Hull.Types
      Language.Yul
      Language.Yul.Parser
      Language.Yul.QuasiQuote
      Common.LightYear
      Common.Monad
      Common.Pretty
      Common.RIO
  hs-source-dirs:
      src
  ghc-options:
    -O1

executable sol-core
  import: common-opts
  main-is: Main.hs
  hs-source-dirs:
      app
  build-depends: sol-core
  ghc-options:
    -O1 -rtsopts

executable yule
    import: common-opts
    main-is:          Main.hs
    hs-source-dirs: yule
    default-extensions:
      LambdaCase
      PatternSynonyms
      BlockArguments
      ImportQualifiedPost
    other-modules: Locus, Options, TM, Translate, Builtins, Compress
    build-depends:    base ^>=4.19.1.0,
                      pretty >=  1.1,
                      containers >= 0.6,
                      mtl >= 2.3,
                      megaparsec >= 9.6,
                      parser-combinators >= 1.3,
                      optparse-applicative >= 0.18,
                      sol-core
    ghc-options:
      -rtsopts

test-suite sol-core-tests
  import: common-opts
  type: exitcode-stdio-1.0
  hs-source-dirs: test

  ghc-options:
    -Wall -threaded -rtsopts -with-rtsopts=-N -fdefer-typed-holes -O0

  main-is: Main.hs

  -- cabal-fmt: expand test -Main
  other-modules:
    Cases
    HullCases
    MatchCompilerTests
    ModuleTypeCheckTests
    ParserTests

  build-depends:
    , sol-core
    , tasty
    , tasty-program
    , tasty-expected-failure
    , tasty-hunit
    , HUnit

  build-tool-depends: sol-core:sol-core, sol-core:yule

test-suite sol-core-contract-test
  type: exitcode-stdio-1.0
  hs-source-dirs: test
  main-is: ContractMain.hs

  ghc-options:
    -Wall -O0

  build-depends:
    , base >= 4.19.0.0
    , directory
    , filepath
    , process

  default-language: Haskell2010