/
plutus-ir.cabal
104 lines (99 loc) · 3.18 KB
/
plutus-ir.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
cabal-version: 1.18
name: plutus-ir
version: 0.1.0.0
license: BSD3
license-file: LICENSE
copyright: Copyright: (c) 2018 Input Output
maintainer: michael.peyton-jones@iohk.io
author: Michael Peyton Jones
synopsis: Plutus IR language
description:
Plutus IR language library and compiler to Plutus Core.
category: Language
build-type: Simple
extra-doc-files: README.md
source-repository head
type: git
location: https://github.com/input-output-hk/plutus
flag development
description:
Enable `-Werror`
default: False
manual: True
library
exposed-modules:
Language.PlutusIR
Language.PlutusIR.Compiler
Language.PlutusIR.Compiler.Names
Language.PlutusIR.Compiler.Definitions
Language.PlutusIR.Generators.AST
Language.PlutusIR.Parser
Language.PlutusIR.MkPir
Language.PlutusIR.Value
Language.PlutusIR.Optimizer.DeadCode
Language.PlutusIR.Transform.Substitute
Language.PlutusIR.Transform.ThunkRecursions
Language.PlutusIR.Transform.Rename
hs-source-dirs: src
other-modules:
Language.PlutusIR.Analysis.Dependencies
Language.PlutusIR.Analysis.Usages
Language.PlutusIR.Compiler.Error
Language.PlutusIR.Compiler.Term
Language.PlutusIR.Compiler.Datatype
Language.PlutusIR.Compiler.Provenance
Language.PlutusIR.Compiler.Recursion
Language.PlutusIR.Compiler.Types
default-language: Haskell2010
default-extensions: ExplicitForAll ScopedTypeVariables
DeriveGeneric StandaloneDeriving DeriveLift
GeneralizedNewtypeDeriving DeriveFunctor DeriveFoldable
DeriveTraversable
other-extensions: DeriveAnyClass FlexibleContexts FlexibleInstances
MultiParamTypeClasses TypeFamilies OverloadedStrings
MonadComprehensions ConstrainedClassMethods TupleSections GADTs
RankNTypes TemplateHaskell QuasiQuotes TypeApplications
ExistentialQuantification
ghc-options: -Wall -Wnoncanonical-monad-instances
-Wincomplete-uni-patterns -Wincomplete-record-updates
-Wredundant-constraints -Widentities
build-depends:
base >=4.9 && <5,
bytestring -any,
hedgehog -any,
containers -any,
language-plutus-core -any,
lens -any,
mtl -any,
mmorph -any,
prettyprinter -any,
serialise -any,
text -any,
transformers -any,
algebraic-graphs <0.3,
megaparsec <7.0
if (flag(development) && impl(ghc <8.4))
ghc-options: -Werror
test-suite plutus-ir-test
type: exitcode-stdio-1.0
main-is: Spec.hs
hs-source-dirs: test
other-modules:
OptimizerSpec
TransformSpec
ParserSpec
TestLib
default-language: Haskell2010
build-depends:
base >=4.9 && <5,
hedgehog -any,
plutus-ir -any,
language-plutus-core -any,
megaparsec -any,
mtl -any,
mmorph -any,
prettyprinter -any,
serialise -any,
tasty -any,
tasty-hedgehog -any,
text -any