Skip to content

Commit 264717f

Browse files
committed
cabal file: added common GHC setup
1 parent f3e080c commit 264717f

File tree

1 file changed

+21
-26
lines changed

1 file changed

+21
-26
lines changed

typed-protocols/typed-protocols.cabal

Lines changed: 21 additions & 26 deletions
Original file line numberDiff line numberDiff line change
@@ -17,19 +17,24 @@ tested-with: GHC == {9.6, 9.8, 9.10, 9.12}
1717
extra-doc-files: CHANGELOG.md
1818
README.md
1919

20-
common warnings
21-
ghc-options: -Wall
22-
-Wno-unticked-promoted-constructors
23-
-Wcompat
24-
-Wincomplete-uni-patterns
25-
-Wincomplete-record-updates
26-
-Wpartial-fields
27-
-Widentities
28-
-Wredundant-constraints
29-
-Wunused-packages
20+
-- Minimal GHC setup, additional extensions are enabled per package (e.g.
21+
-- pervasive type level extensions in the code base like `GADTs` or
22+
-- `DataKinds`, etc), or per module (e.g. `CPP` or other more exotic ones).
23+
common GHC
24+
default-language: GHC2021
25+
default-extensions: LambdaCase
26+
ghc-options: -Wall
27+
-Wno-unticked-promoted-constructors
28+
-Wcompat
29+
-Wincomplete-uni-patterns
30+
-Wincomplete-record-updates
31+
-Wpartial-fields
32+
-Widentities
33+
-Wredundant-constraints
34+
-Wunused-packages
3035

3136
library
32-
import: warnings
37+
import: GHC
3338
exposed-modules: Network.TypedProtocol
3439
, Network.TypedProtocol.Core
3540
, Network.TypedProtocol.Peer
@@ -43,13 +48,11 @@ library
4348
io-classes:io-classes ^>= 1.8,
4449
singletons ^>= 3.0
4550
hs-source-dirs: src
46-
default-language: GHC2021
4751
default-extensions: DataKinds
4852
GADTs
49-
LambdaCase
5053

5154
library cborg
52-
import: warnings
55+
import: GHC
5356
visibility: public
5457
exposed-modules: Network.TypedProtocol.Codec.CBOR
5558
build-depends: base,
@@ -59,11 +62,9 @@ library cborg
5962
io-classes:io-classes,
6063
typed-protocols:typed-protocols
6164
hs-source-dirs: cborg
62-
default-language: GHC2021
63-
default-extensions: LambdaCase
6465

6566
library stateful
66-
import: warnings
67+
import: GHC
6768
visibility: public
6869
exposed-modules: Network.TypedProtocol.Stateful.Peer
6970
, Network.TypedProtocol.Stateful.Peer.Client
@@ -76,13 +77,12 @@ library stateful
7677
io-classes:io-classes,
7778
typed-protocols:typed-protocols
7879
hs-source-dirs: stateful
79-
default-language: GHC2021
8080
default-extensions: DataKinds
8181
GADTs
8282
ImportQualifiedPost
8383

8484
library stateful-cborg
85-
import: warnings
85+
import: GHC
8686
visibility: public
8787
exposed-modules: Network.TypedProtocol.Stateful.Codec.CBOR
8888

@@ -93,11 +93,10 @@ library stateful-cborg
9393
io-classes:io-classes,
9494
typed-protocols:{typed-protocols,cborg,stateful}
9595
hs-source-dirs: stateful-cborg
96-
default-language: GHC2021
9796
default-extensions: ImportQualifiedPost
9897

9998
library examples
100-
import: warnings
99+
import: GHC
101100
visibility: public
102101
exposed-modules: Network.TypedProtocol.Channel
103102
, Network.TypedProtocol.Driver.Simple
@@ -137,19 +136,15 @@ library examples
137136
if !os(windows)
138137
build-depends: network
139138
hs-source-dirs: examples
140-
default-language: GHC2021
141139
default-extensions: DataKinds
142140
GADTs
143-
LambdaCase
144141

145142
test-suite test
146-
import: warnings
143+
import: GHC
147144
type: exitcode-stdio-1.0
148145
main-is: Main.hs
149146
hs-source-dirs: test
150-
default-language: GHC2021
151147
default-extensions: GADTs
152-
LambdaCase
153148
other-modules: Network.TypedProtocol.PingPong.Tests
154149
, Network.TypedProtocol.ReqResp.Tests
155150
build-depends: base

0 commit comments

Comments
 (0)