-
Notifications
You must be signed in to change notification settings - Fork 2
/
plume.cabal
161 lines (153 loc) · 4.44 KB
/
plume.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
cabal-version: 3.0
name: plume
version: 0.7.2
license: MIT
license-file: LICENSE
maintainer: [email protected]
author: sisypheus
category: Language
build-type: Simple
extra-doc-files: CHANGELOG.md
library
exposed-modules:
Control.Monad.Exception
Control.Monad.IO
Control.Monad.Parser
GHC.Records
Plume.Compiler.Bytecode.Assembler
Plume.Compiler.Bytecode.Label
Plume.Compiler.Bytecode.Serialize
Plume.Compiler.Bytecode.Syntax
Plume.Compiler.ClosureConversion.Conversion
Plume.Compiler.ClosureConversion.Free
Plume.Compiler.ClosureConversion.Syntax
Plume.Compiler.Desugaring.Desugar
Plume.Compiler.Desugaring.Modules.ANF
Plume.Compiler.Desugaring.Modules.Switch
Plume.Compiler.Desugaring.Monad
Plume.Compiler.Desugaring.Syntax
Plume.Compiler.Javascript.Syntax
Plume.Compiler.Javascript.Translate
Plume.Compiler.LLIR.Assembler
Plume.Compiler.LLIR.Free
Plume.Compiler.LLIR.Syntax
Plume.Compiler.SSA
Plume.Compiler.SSA.Bundler
Plume.Compiler.SSA.DeadCode
Plume.Compiler.TypeErasure.DynamicDispatch.Dispatch
Plume.Compiler.TypeErasure.DynamicDispatch.RTTI
Plume.Compiler.TypeErasure.EraseType
Plume.Compiler.TypeErasure.Syntax
Plume.Syntax.Abstract
Plume.Syntax.Blocks
Plume.Syntax.Common
Plume.Syntax.Common.Annotation
Plume.Syntax.Common.Internal.Pretty
Plume.Syntax.Common.Literal
Plume.Syntax.Common.Pattern
Plume.Syntax.Common.Type
Plume.Syntax.Concrete
Plume.Syntax.Concrete.Expression
Plume.Syntax.Concrete.Internal.Pretty
Plume.Syntax.Concrete.Internal.Show
Plume.Syntax.Internal.Pretty.ANSI
Plume.Syntax.Parser
Plume.Syntax.Parser.Lexer
Plume.Syntax.Parser.Modules.Literal
Plume.Syntax.Parser.Modules.Operator
Plume.Syntax.Parser.Modules.ParseImports
Plume.Syntax.Parser.Modules.Pattern
Plume.Syntax.Parser.Modules.Slice
Plume.Syntax.Parser.Modules.Type
Plume.Syntax.Parser.Parser
Plume.Syntax.Parser.Requires
Plume.Syntax.Require.Monad
Plume.Syntax.Require.Resolution
Plume.Syntax.Translation.ConcreteToAbstract
Plume.Syntax.Translation.ConcreteToAbstract.MacroResolver
Plume.Syntax.Translation.ConcreteToAbstract.Require
Plume.Syntax.Translation.Generics
Plume.Syntax.Translation.Substitution
Plume.TypeChecker.Checker
Plume.TypeChecker.Checker.Application
Plume.TypeChecker.Checker.Closure
Plume.TypeChecker.Checker.Condition
Plume.TypeChecker.Checker.Datatype
Plume.TypeChecker.Checker.Declaration
Plume.TypeChecker.Checker.Extension
Plume.TypeChecker.Checker.Interface
Plume.TypeChecker.Checker.Monad
Plume.TypeChecker.Checker.Native
Plume.TypeChecker.Checker.While
Plume.TypeChecker.Checker.Switch
Plume.TypeChecker.Constraints.Definition
Plume.TypeChecker.Constraints.Solver
Plume.TypeChecker.Constraints.Typeclass
Plume.TypeChecker.Constraints.Unification
Plume.TypeChecker.Monad
Plume.TypeChecker.Monad.Conversion
Plume.TypeChecker.Monad.Error
Plume.TypeChecker.Monad.Free
Plume.TypeChecker.Monad.State
Plume.TypeChecker.Monad.Type
Plume.TypeChecker.TLIR
System.IO.Color
System.IO.Pretty
hs-source-dirs: src
default-language: GHC2021
default-extensions:
DataKinds
OverloadedRecordDot
OverloadedStrings
TemplateHaskell
ghc-options: -Wall -Wno-orphans
build-depends:
, base
, binary
, containers
, diagnose
, directory
, filepath
, megaparsec ^>=9.6.1
, MissingH
, mtl
, parser-combinators
, prettyprinter
, prettyprinter-ansi-terminal
, relude
, sorted-list
, template-haskell
, text
mixins:
base hiding (Prelude),
relude (Relude as Prelude),
relude
executable plume
main-is: Main.hs
hs-source-dirs: app
default-language: GHC2021
default-extensions: OverloadedStrings
ghc-options: -Wall -O2
other-modules: CLI
build-depends:
, base
, directory
, filepath
, optparse-applicative
, plume
, relude
if os(windows)
build-depends: Win32
mixins:
base hiding (Prelude),
relude (Relude as Prelude),
relude
test-suite plume-test
type: exitcode-stdio-1.0
main-is: Main.hs
hs-source-dirs: test
default-language: GHC2021
ghc-options: -Wall
build-depends:
, base
, plume