-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathpackage.yaml
111 lines (98 loc) · 2.23 KB
/
package.yaml
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
name: free-foil-typecheck
version: 0.0.1
github: "evermake/free-foil-typecheck"
description: Please see the README on GitHub at <https://github.com/evermake/free-foil-typecheck#readme>
synopsis: Type systems implementation powered by Free Foil.
category: Language
extra-source-files:
- README.md
- grammar/hindley-milner.cf
- grammar/system-f.cf
custom-setup:
dependencies:
base: ">= 4.11.0.0 && < 5.0"
process: ">= 1.6.3.0"
Cabal: ">= 2.4.0.1 && < 4.0"
PyF:
build-tools:
BNFC:bnfc: ">= 2.9.4.1"
alex: ">= 3.2.4"
happy: ">= 1.19.9"
dependencies:
base: ">= 4.7 && < 5"
array: ">= 0.5.3.0"
bifunctors:
containers:
free-foil: ">= 0.2.0"
ghc-options:
- -Wall
- -Werror
library:
source-dirs: src
when:
- condition: false
other-modules:
- FreeFoilTypecheck.HindleyMilner.Parser.Test
- FreeFoilTypecheck.HindleyMilner.Parser.ErrM
- FreeFoilTypecheck.HindleyMilner.Parser.Skel
- condition: false
other-modules:
- FreeFoilTypecheck.SystemF.Parser.Test
- FreeFoilTypecheck.SystemF.Parser.ErrM
- FreeFoilTypecheck.SystemF.Parser.Skel
executables:
repl-hm:
main: Repl.hs
source-dirs: app/HindleyMilner
other-modules: []
ghc-options:
- -threaded
- -rtsopts
- -with-rtsopts=-N
dependencies:
- free-foil-typecheck
interpreter-hm:
main: Interpreter.hs
source-dirs: app/HindleyMilner
other-modules: []
ghc-options:
- -threaded
- -rtsopts
- -with-rtsopts=-N
dependencies:
- free-foil-typecheck
repl-sf:
main: Repl.hs
source-dirs: app/SystemF
other-modules: []
dependencies:
- free-foil-typecheck
interpreter-sf:
main: Interpreter.hs
source-dirs: app/SystemF
other-modules: []
dependencies:
- free-foil-typecheck
tests:
doctests:
source-dirs:
- src/
- test/doctests
main: Main.hs
other-modules: []
dependencies:
- free-foil-typecheck
- doctest-parallel
spec:
main: Spec.hs
source-dirs: test
ghc-options:
- -threaded
- -rtsopts
- -with-rtsopts=-N
dependencies:
- free-foil-typecheck
- hspec
- hspec-discover
- directory
- filepath