verse-semantics/VerseSemantics.cabal at main · augustss/verse-semantics · 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
cabal-version:      3.0
name:               VerseSemantics
version:            0.1.0.0
synopsis:           Haskell prototypes and testing for Verse
description:        Programs for automated and interactive tests of Core Verse.
copyright:          Epic Games 2026
data-dir:           versetests
data-files:         *.versetest

extra-source-files: README.md

-- This common-block is macro-expanded everywhere you see 'import: general-libs'
common general-libs
    default-language: GHC2021
    ghc-options:      -Wall -Wno-unrecognised-warning-flags -Wno-x-partial -O2
    build-depends:    base,
                      bytestring,
                      containers,
                      directory,
                      filepath,
                      hashable,
                      haskeline,
                      megaparsec,
                      mtl,
                      optparse-applicative,
                      pretty,
                      scientific,
                      text,
                      transformers,
                      unordered-containers,

library verse-libs
    import:           general-libs
    hs-source-dirs:   .
    exposed-modules:
                      Core.Bind
                      Core.Expr
                      Core.Solver
                      Core.Traced
                      Epic.BellmanFord
                      Epic.List
                      Epic.Print
                      Epic.Repl
                      Epic.UnionFind
                      FrontEnd.CopyHook
                      FrontEnd.Desugar
                      FrontEnd.Error
                      FrontEnd.Expr
                      FrontEnd.Flags
    build-depends:    QuickCheck,

library reduction
    import:           general-libs
    hs-source-dirs:   reduction
    exposed-modules:
                      Red
    build-depends:    verse-libs,

-- shared parser for various verse implementations and experiments
library verse-parser
    import:           general-libs
    hs-source-dirs:   parser
    default-language: GHC2021
    exposed-modules:
            Data.Fix
            Data.IntMap.Lazy.Extras
            Data.IntMap.Strict.Extras
            Control.Monad.Extras
            Control.Monad.Ref
            Control.Monad.Supply
            Control.Monad.Verse
            Control.Monad.Wrong
            Language.Verse.Access
            Language.Verse.Contract
            Language.Verse.Desugar.Exp
            Language.Verse.Effect.Split
            Language.Verse.Error
            Language.Verse.Eval
            Language.Verse.Ident
            Language.Verse.Indent
            Language.Verse.Intrinsic
            Language.Verse.Label
            Language.Verse.Loc
            Language.Verse.Mode
            Language.Verse.Exp
            Language.Verse.Path
            Language.Verse.Pos
            Language.Verse.Rewrite
            Language.Verse.Rewrite.Exp
            Language.Verse.SimpleName
            Language.Verse.Token
            Language.Verse.Val
            Parser.Verse
            Parser.Compat
    other-modules:

    build-depends: comonad
                 , hashable
                 , parsec
                 , parser-combinators
                 , prettyprinter
                 , semigroupoids
                 , verse-libs

executable repl
    import:           general-libs

    hs-source-dirs:   repl
    build-depends:    reduction,
                      verse-libs,
                      verse-parser,

    main-is:          Main.hs

executable tester
     import:           general-libs
     hs-source-dirs:   tester
     build-depends:    parser-combinators,
                       reduction,
                       uniplate,
                       verse-libs,
                       verse-parser,

     main-is:          Main.hs