This repository has been archived by the owner on Feb 14, 2019. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 1
/
OwO.cabal
122 lines (107 loc) · 3.67 KB
/
OwO.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
name: OwO
version: 0.1.0.0
synopsis: A pwoof assistant and functional pwogwamming langwage
homepage: https://www.owo-lang.org
license: Apache-2.0
author: Tesla Ice Zhang
maintainer: Tesla Ice Zhang <ice1000kotlin@foxmail.com>
category: Language
build-type: Simple
-- copyright:
extra-source-files: misc/CHANGELOG.md
misc/licenses/LICENSE-Agda
README.md
src/full/impossible.h
license-file: LICENSE
cabal-version: >=1.10
-- description:
source-repository head
type: git
location: https://github.com/owo-lang/OwO.git
flag debug
default: False
manual: True
description: Enable debugging features that may slow OwO down.
library
build-depends: array
, base >= 4.8 && < 5
, binary >= 0.7.3.0 && < 0.9
, containers >= 0.5.10 && < 0.7
, deepseq >= 1.4.1.1 && < 1.5
, directory
, each >= 1.1.1
, filepath
, gitrev >= 1.3.1 && < 2.0
-- mtl-2.1 contains a severe bug.
-- mtl >= 2.2 && < 2.2.1 doesn't export Control.Monad.Except.
, mtl >= 2.2.1 && < 2.3
, split >= 0.2 && < 0.3
, strict >= 0.3.2 && < 0.4
, transformers >= 0.5 && < 0.6
hs-source-dirs: src/full
include-dirs: src/full
if flag(debug)
cpp-options: -DNDEBUG
-- ASR (2018-10-16). Required for supporting GHC 8.4.1, 8.4.2 and
-- 8.4.3. See Agda issue #3277.
if impl(ghc >= 8.4.1) && impl(ghc <= 8.4.3)
build-depends: text >= 1.2.3.0 && < 1.3
else
build-depends: text >= 1.2.3.1 && < 1.3
default-language: Haskell2010
exposed-modules: OwO.Options
, OwO.Main
, OwO.Version
, OwO.Syntax.Abstract
, OwO.Syntax.Concrete
, OwO.Syntax.Context
, OwO.Syntax.Module
, OwO.Syntax.Parser
, OwO.Syntax.Position
, OwO.Syntax.TokenType
, OwO.Syntax.Parser.Alex
, OwO.Syntax.Parser.Lexer
, OwO.Syntax.Parser.NaiveCombinators
, OwO.Syntax.Parser.NaiveParser
, OwO.TypeChecking.Builtin
, OwO.TypeChecking.Core
, OwO.TypeChecking.Desugar
, OwO.TypeChecking.Match
, OwO.TypeChecking.Monad
, OwO.TypeChecking.Reduce
, OwO.TypeChecking
, OwO.Util.Applicative
, OwO.Util.Dump
, OwO.Util.Impossible
, OwO.Util.List
, OwO.Util.StrictMaybe
, OwO.Util.Three
, OwO.Util.Tools
-- Generated by Cabal
, Paths_OwO
-- other-modules:
-- other-extensions:
executable owo
main-is: Main.hs
build-depends: OwO
, base >= 4.8 && < 5
, optparse-applicative >= 0.14 && < 0.15
hs-source-dirs: src/main
default-language: Haskell2010
other-modules: OptionParser
-- other-extensions:
Test-Suite tests
if impl(ghc >= 8.4.1) && impl(ghc <= 8.4.3)
build-depends: text >= 1.2.3.0 && < 1.3
else
build-depends: text >= 1.2.3.1 && < 1.3
type: exitcode-stdio-1.0
main-is: Main.hs
build-depends: OwO
, base >= 4.8 && < 5
, containers >= 0.5.10 && < 0.7
, hspec
, process
, mtl >= 2.2.1 && < 2.3
hs-source-dirs: src/test
default-language: Haskell2010