-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathpackage.yaml
118 lines (118 loc) · 3.48 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
112
113
114
115
116
117
118
name: haskell-verify-examples
synopsis: Verify examples in your docs.
description: Please see the README at <https://github.com/NoRedInk/haskell-verify-examples/tree/trunk/#readme>.
author: NoRedInk
version: 0.0.0.1
maintainer: [email protected]
copyright: 2021 NoRedInk Corp.
github: NoRedInk/haskell-verify-examples
license-file: LICENSE
category: Web
extra-source-files:
- README.md
- LICENSE
data-files:
- src/Haskell/Verify/Examples/RunTime.hs
- src/Haskell/Verify/Examples/Verified.hs
executables:
haskell-verify-examples:
dependencies:
- base >= 4.12.0.0 && < 4.16
- directory >= 1.3.6.0 && < 1.4
- filemanip >= 0.3.6.3 && < 0.3.7
- haskell-src-exts >= 1.23.1 && < 1.24
- haskell-verify-examples
- hint >= 0.9.0.4 && < 0.10
- nri-prelude >= 0.1.0.0 && < 0.7
- optparse-applicative >= 0.16.1.0 && < 0.17
- text >= 1.2.3.1 && < 1.3
main: Main.hs
source-dirs: app
generate-documentation:
dependencies:
- base >= 4.12.0.0 && < 4.16
- haskell-verify-examples
- nri-prelude >= 0.1.0.0 && < 0.7
- temporary >= 1.3 && < 1.4
main: Main.hs
source-dirs: doc
library:
dependencies:
- async >= 2.2.2 && < 2.3
- base >= 4.12.0.0 && < 4.16
- bytestring >= 0.10 && < 0.11
- cpphs >= 1.20.9.1 && < 1.21
- directory >= 1.3.6.0 && < 1.4
- filepath >= 1.4 && < 1.5
- haskell-src-exts >= 1.23.1 && < 1.24
- hie-bios >= 0.7.5 && < 0.8
- hint >= 0.9.0.4 && < 0.10
- nri-prelude >= 0.1.0.0 && < 0.7
- pretty-diff >= 0.4.0.2 && < 0.5
- pretty-show >= 1.9.5 && < 1.11
- safe-coloured-text >= 0.0.0.0 && < 0.1
- safe-exceptions >= 0.1.7 && < 0.1.8
- temporary >= 1.3 && < 1.4
- terminal-size >= 0.3.2.1 && < 0.4
- text >= 1.2.3.1 && < 1.3
exposed-modules:
- Haskell.Verify.Examples
- Haskell.Verify.Examples.RunTime
- Haskell.Verify.Examples.Verified
source-dirs: src
tests:
spec:
dependencies:
- aeson >= 1.4.6.0 && < 1.6
- async >= 2.2.2 && < 2.3
- base >= 4.12.0.0 && < 4.16
- bytestring >= 0.10 && < 0.11
- cpphs >= 1.20.9.1 && < 1.21
- directory >= 1.3.6.0 && < 1.4
- filepath >= 1.4 && < 1.5
- haskell-src-exts >= 1.23.1 && < 1.24
- hie-bios >= 0.7.5 && < 0.8
- hint >= 0.9.0.4 && < 0.10
- nri-prelude >= 0.1.0.0 && < 0.7
- pretty-diff >= 0.4.0.2 && < 0.5
- pretty-show >= 1.9.5 && < 1.11
- safe-coloured-text >= 0.0.0.0 && < 0.1
- safe-exceptions >= 0.1.7 && < 0.1.8
- temporary >= 1.3 && < 1.4
- terminal-size >= 0.3.2.1 && < 0.4
- text >= 1.2.3.1 && < 1.3
main: Main.hs
source-dirs:
- src
- test
# We intentionally do not add threaded ghc-options for tests. These would
# cause tests to run in parallel, which introduces flakiness in this test
# suite. The suite creates a number of web servers that are supposed to get
# unique ports, but if we start them in parallel this will not always work.
ghc-options:
- -fno-warn-type-defaults
default-extensions:
- DataKinds
- DeriveGeneric
- FlexibleContexts
- FlexibleInstances
- GeneralizedNewtypeDeriving
- LambdaCase
- MultiParamTypeClasses
- NamedFieldPuns
- NoImplicitPrelude
- OverloadedStrings
- PartialTypeSignatures
- ScopedTypeVariables
- Strict
- TypeOperators
- ExtendedDefaultRules
- NumericUnderscores
ghc-options:
- -Wcompat
- -Widentities
- -Wincomplete-record-updates
- -Wpartial-fields
- -Wredundant-constraints
- -Wincomplete-uni-patterns
- -fplugin=NriPrelude.Plugin