-
Notifications
You must be signed in to change notification settings - Fork 1
/
eopl-langs.cabal
123 lines (102 loc) · 4.25 KB
/
eopl-langs.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
name: eopl-langs
version: 0.1.0.0
synopsis: Initial project template from stack
description: Please see README.md
homepage: https://github.com/li-zhirui/EOPL-Langs-in-Haskell#readme
license: BSD3
license-file: LICENSE
author: Li Zhirui
maintainer: labman004@outlook.com
copyright: 2016 Li Zhirui
category: Web
build-type: Simple
-- extra-source-files:
cabal-version: >=1.10
library
hs-source-dirs: src
exposed-modules:
LetLang.Data
, LetLang.Parser
, LetLang.Evaluator
, ProcLang.Data
, ProcLang.Evaluator
, ProcLang.Parser
, LetRecLang.Data
, LetRecLang.Evaluator
, LetRecLang.Parser
, NamelessIntp.Data
, NamelessIntp.Evaluator
, NamelessIntp.Parser
, NamelessIntp.Translator
, ExplicitRefs.Data
, ExplicitRefs.Evaluator
, ExplicitRefs.Parser
, ImplicitRefs.Data
, ImplicitRefs.Evaluator
, ImplicitRefs.Parser
, MutablePairs.Data
, MutablePairs.Evaluator
, MutablePairs.Parser
, CallByReference.Data
, CallByReference.Evaluator
, CallByReference.Parser
, CallByName.Data
, CallByName.Evaluator
, CallByName.Parser
, CallByNeed.Data
, CallByNeed.Evaluator
, CallByNeed.Parser
, ContinuationPassing.Data
, ContinuationPassing.Evaluator
, ContinuationPassing.Parser
, ExceptionLang.Data
, ExceptionLang.Evaluator
, ExceptionLang.Parser
, ImplicitRefsCont.Data
, ImplicitRefsCont.Evaluator
, ImplicitRefsCont.Parser
, ThreadsLang.Data
, ThreadsLang.Evaluator
, ThreadsLang.Parser
, CheckedLang.Data
, CheckedLang.Evaluator
, CheckedLang.Parser
, CheckedLang.TypeChecker
, InferredLang.Data
, InferredLang.Evaluator
, InferredLang.Parser
, InferredLang.TypeChecker
, SimpleModule.Data
, SimpleModule.Evaluator
, SimpleModule.Parser
, SimpleModule.TypeChecker
build-depends: base
, megaparsec
, containers
, transformers
, mtl
, lens
default-language: Haskell2010
executable eopl-langs-exe
hs-source-dirs: app
main-is: Main.hs
ghc-options: -threaded -rtsopts -with-rtsopts=-N
build-depends: base
, eopl-langs
, megaparsec
default-language: Haskell2010
test-suite eopl-langs-test
type: exitcode-stdio-1.0
hs-source-dirs: test
main-is: Spec.hs
build-depends: base
, eopl-langs
, HUnit
, megaparsec
, transformers
, mtl
ghc-options: -threaded -rtsopts -with-rtsopts=-N
default-language: Haskell2010
source-repository head
type: git
location: https://github.com/li-zhirui/EOPL-Langs-in-Haskell