typed-protocols: use GHC2021

coot · coot · commit 4a51678b6206 · 2025-05-21T15:01:58.000+02:00
The goal was to use GHC2024, but that's only supported by `GHC &gt;= 9.10`.
Required extensions which are part of GHC2024 are added to
`default-extensions`.
diff --git a/typed-protocols-doc/src/Network/TypedProtocol/Documentation/DefaultMain.hs b/typed-protocols-doc/src/Network/TypedProtocol/Documentation/DefaultMain.hs
@@ -1,5 +1,3 @@
-{-# LANGUAGE FlexibleContexts #-}
-
 module Network.TypedProtocol.Documentation.DefaultMain
 where
 
diff --git a/typed-protocols-doc/src/Network/TypedProtocol/Documentation/GraphViz.hs b/typed-protocols-doc/src/Network/TypedProtocol/Documentation/GraphViz.hs
@@ -1,8 +1,4 @@
 {-# LANGUAGE DataKinds #-}
-{-# LANGUAGE ScopedTypeVariables #-}
-{-# LANGUAGE PolyKinds #-}
-{-# LANGUAGE PartialTypeSignatures #-}
-{-# LANGUAGE FlexibleContexts #-}
 {-# LANGUAGE OverloadedStrings #-}
 
 module Network.TypedProtocol.Documentation.GraphViz
diff --git a/typed-protocols-doc/src/Network/TypedProtocol/Documentation/Html.hs b/typed-protocols-doc/src/Network/TypedProtocol/Documentation/Html.hs
@@ -1,12 +1,4 @@
-{-# LANGUAGE TemplateHaskell #-}
-{-# LANGUAGE TypeApplications #-}
-{-# LANGUAGE DataKinds #-}
 {-# LANGUAGE OverloadedStrings #-}
-{-# LANGUAGE ScopedTypeVariables #-}
-{-# LANGUAGE PolyKinds #-}
-{-# LANGUAGE KindSignatures #-}
-{-# LANGUAGE PartialTypeSignatures #-}
-{-# LANGUAGE FlexibleContexts #-}
 
 module Network.TypedProtocol.Documentation.Html
 where
diff --git a/typed-protocols-doc/src/Network/TypedProtocol/Documentation/TH.hs b/typed-protocols-doc/src/Network/TypedProtocol/Documentation/TH.hs
@@ -1,7 +1,5 @@
 {-# LANGUAGE CPP #-}
-{-# LANGUAGE LambdaCase #-}
 {-# LANGUAGE TemplateHaskell #-}
-{-# LANGUAGE QuasiQuotes #-}
 
 module Network.TypedProtocol.Documentation.TH
 ( describeProtocol
diff --git a/typed-protocols-doc/src/Network/TypedProtocol/Documentation/Text.hs b/typed-protocols-doc/src/Network/TypedProtocol/Documentation/Text.hs
@@ -1,9 +1,5 @@
 {-# LANGUAGE DataKinds #-}
 {-# LANGUAGE OverloadedStrings #-}
-{-# LANGUAGE ScopedTypeVariables #-}
-{-# LANGUAGE PolyKinds #-}
-{-# LANGUAGE PartialTypeSignatures #-}
-{-# LANGUAGE FlexibleContexts #-}
 
 module Network.TypedProtocol.Documentation.Text
 where
diff --git a/typed-protocols-doc/src/Network/TypedProtocol/Documentation/Types.hs b/typed-protocols-doc/src/Network/TypedProtocol/Documentation/Types.hs
@@ -1,5 +1,3 @@
-{-# LANGUAGE DeriveLift #-}
-{-# LANGUAGE DerivingStrategies #-}
 {-# LANGUAGE OverloadedStrings #-}
 
 module Network.TypedProtocol.Documentation.Types
diff --git a/typed-protocols-doc/typed-protocols-doc.cabal b/typed-protocols-doc/typed-protocols-doc.cabal
@@ -56,11 +56,12 @@ library
                  , serdoc-core
                  , typed-protocols ^>= 1.0
     hs-source-dirs:   src
-    default-language: Haskell2010
+    default-language:   GHC2021
+    default-extensions: DataKinds
 
 executable typed-protocols-doc-demo
     import:           warnings
-    default-language: Haskell2010
+    default-language: GHC2021
     hs-source-dirs:   demo
     main-is:          Main.hs
     other-modules:    DemoProtocol
@@ -75,7 +76,7 @@ executable typed-protocols-doc-demo
 
 test-suite typed-protocols-doc-test
     import:           warnings
-    default-language: Haskell2010
+    default-language: GHC2021
     type:             exitcode-stdio-1.0
     hs-source-dirs:   test
     main-is:          Main.hs
diff --git a/typed-protocols/cborg/Network/TypedProtocol/Codec/CBOR.hs b/typed-protocols/cborg/Network/TypedProtocol/Codec/CBOR.hs
@@ -1,11 +1,3 @@
-{-# LANGUAGE DataKinds           #-}
-{-# LANGUAGE FlexibleContexts    #-}
-{-# LANGUAGE LambdaCase          #-}
-{-# LANGUAGE MonoLocalBinds      #-}
-{-# LANGUAGE PolyKinds           #-}
-{-# LANGUAGE RankNTypes          #-}
-{-# LANGUAGE ScopedTypeVariables #-}
-
 module Network.TypedProtocol.Codec.CBOR
   ( module Network.TypedProtocol.Codec
   , mkCodecCborLazyBS
diff --git a/typed-protocols/examples/Network/TypedProtocol/Channel.hs b/typed-protocols/examples/Network/TypedProtocol/Channel.hs
@@ -1,9 +1,4 @@
-{-# LANGUAGE CPP                 #-}
-{-# LANGUAGE FlexibleContexts    #-}
-{-# LANGUAGE NamedFieldPuns      #-}
-{-# LANGUAGE RankNTypes          #-}
-{-# LANGUAGE ScopedTypeVariables #-}
-{-# LANGUAGE TypeApplications    #-}
+{-# LANGUAGE CPP #-}
 
 module Network.TypedProtocol.Channel
   ( Channel (..)
diff --git a/typed-protocols/examples/Network/TypedProtocol/Driver/Simple.hs b/typed-protocols/examples/Network/TypedProtocol/Driver/Simple.hs
@@ -1,11 +1,3 @@
-{-# LANGUAGE BangPatterns         #-}
-{-# LANGUAGE DataKinds            #-}
-{-# LANGUAGE FlexibleContexts     #-}
-{-# LANGUAGE GADTs                #-}
-{-# LANGUAGE NamedFieldPuns       #-}
-{-# LANGUAGE PolyKinds            #-}
-{-# LANGUAGE RankNTypes           #-}
-{-# LANGUAGE ScopedTypeVariables  #-}
 {-# LANGUAGE TypeFamilies         #-}
 -- @UndecidableInstances@ extensions is required for defining @Show@ instance
 -- of @'TraceSendRecv'@.
diff --git a/typed-protocols/examples/Network/TypedProtocol/PingPong/Client.hs b/typed-protocols/examples/Network/TypedProtocol/PingPong/Client.hs
@@ -1,9 +1,3 @@
-{-# LANGUAGE DataKinds           #-}
-{-# LANGUAGE GADTs               #-}
-{-# LANGUAGE KindSignatures      #-}
-{-# LANGUAGE ScopedTypeVariables #-}
-{-# LANGUAGE TypeOperators       #-}
-
 module Network.TypedProtocol.PingPong.Client
   ( -- * Normal client
     PingPongClient (..)
diff --git a/typed-protocols/examples/Network/TypedProtocol/PingPong/Codec.hs b/typed-protocols/examples/Network/TypedProtocol/PingPong/Codec.hs
@@ -1,10 +1,3 @@
-{-# LANGUAGE DataKinds           #-}
-{-# LANGUAGE FlexibleContexts    #-}
-{-# LANGUAGE GADTs               #-}
-{-# LANGUAGE KindSignatures      #-}
-{-# LANGUAGE NamedFieldPuns      #-}
-{-# LANGUAGE ScopedTypeVariables #-}
-
 module Network.TypedProtocol.PingPong.Codec where
 
 import           Network.TypedProtocol.Codec
diff --git a/typed-protocols/examples/Network/TypedProtocol/PingPong/Codec/CBOR.hs b/typed-protocols/examples/Network/TypedProtocol/PingPong/Codec/CBOR.hs
@@ -1,10 +1,3 @@
-{-# LANGUAGE DataKinds           #-}
-{-# LANGUAGE FlexibleContexts    #-}
-{-# LANGUAGE GADTs               #-}
-{-# LANGUAGE KindSignatures      #-}
-{-# LANGUAGE PolyKinds           #-}
-{-# LANGUAGE ScopedTypeVariables #-}
-
 module Network.TypedProtocol.PingPong.Codec.CBOR where
 
 import           Control.Monad.Class.MonadST
diff --git a/typed-protocols/examples/Network/TypedProtocol/PingPong/Examples.hs b/typed-protocols/examples/Network/TypedProtocol/PingPong/Examples.hs
@@ -1,10 +1,3 @@
-{-# LANGUAGE BangPatterns        #-}
-{-# LANGUAGE DataKinds           #-}
-{-# LANGUAGE GADTs               #-}
-{-# LANGUAGE PolyKinds           #-}
-{-# LANGUAGE ScopedTypeVariables #-}
-{-# LANGUAGE TypeOperators       #-}
-
 module Network.TypedProtocol.PingPong.Examples where
 
 import           Network.TypedProtocol.PingPong.Client
diff --git a/typed-protocols/examples/Network/TypedProtocol/PingPong/Server.hs b/typed-protocols/examples/Network/TypedProtocol/PingPong/Server.hs
@@ -1,5 +1,3 @@
-{-# LANGUAGE DataKinds       #-}
-{-# LANGUAGE GADTs           #-}
 {-# LANGUAGE RecordWildCards #-}
 
 module Network.TypedProtocol.PingPong.Server where
diff --git a/typed-protocols/examples/Network/TypedProtocol/PingPong/Type.hs b/typed-protocols/examples/Network/TypedProtocol/PingPong/Type.hs
@@ -1,10 +1,4 @@
-{-# LANGUAGE DataKinds          #-}
-{-# LANGUAGE EmptyCase          #-}
-{-# LANGUAGE FlexibleInstances  #-}
-{-# LANGUAGE GADTs              #-}
-{-# LANGUAGE StandaloneDeriving #-}
-{-# LANGUAGE TypeFamilies       #-}
-
+{-# LANGUAGE TypeFamilies #-}
 
 module Network.TypedProtocol.PingPong.Type where
 
diff --git a/typed-protocols/examples/Network/TypedProtocol/ReqResp/Client.hs b/typed-protocols/examples/Network/TypedProtocol/ReqResp/Client.hs
@@ -1,9 +1,3 @@
-{-# LANGUAGE DataKinds           #-}
-{-# LANGUAGE GADTs               #-}
-{-# LANGUAGE PolyKinds           #-}
-{-# LANGUAGE RankNTypes          #-}
-{-# LANGUAGE ScopedTypeVariables #-}
-
 module Network.TypedProtocol.ReqResp.Client
   ( -- * Normal client
     ReqRespClient (..)
diff --git a/typed-protocols/examples/Network/TypedProtocol/ReqResp/Codec.hs b/typed-protocols/examples/Network/TypedProtocol/ReqResp/Codec.hs
@@ -1,11 +1,3 @@
-{-# LANGUAGE DataKinds           #-}
-{-# LANGUAGE FlexibleContexts    #-}
-{-# LANGUAGE GADTs               #-}
-{-# LANGUAGE KindSignatures      #-}
-{-# LANGUAGE NamedFieldPuns      #-}
-{-# LANGUAGE PolyKinds           #-}
-{-# LANGUAGE ScopedTypeVariables #-}
-
 module Network.TypedProtocol.ReqResp.Codec where
 
 import           Network.TypedProtocol.Codec
diff --git a/typed-protocols/examples/Network/TypedProtocol/ReqResp/Codec/CBOR.hs b/typed-protocols/examples/Network/TypedProtocol/ReqResp/Codec/CBOR.hs
@@ -1,10 +1,3 @@
-{-# LANGUAGE DataKinds           #-}
-{-# LANGUAGE FlexibleContexts    #-}
-{-# LANGUAGE GADTs               #-}
-{-# LANGUAGE KindSignatures      #-}
-{-# LANGUAGE PolyKinds           #-}
-{-# LANGUAGE ScopedTypeVariables #-}
-
 module Network.TypedProtocol.ReqResp.Codec.CBOR where
 
 import           Control.Monad.Class.MonadST
diff --git a/typed-protocols/examples/Network/TypedProtocol/ReqResp/Examples.hs b/typed-protocols/examples/Network/TypedProtocol/ReqResp/Examples.hs
@@ -1,9 +1,3 @@
-{-# LANGUAGE BangPatterns        #-}
-{-# LANGUAGE DataKinds           #-}
-{-# LANGUAGE GADTs               #-}
-{-# LANGUAGE PolyKinds           #-}
-{-# LANGUAGE ScopedTypeVariables #-}
-
 module Network.TypedProtocol.ReqResp.Examples where
 
 import           Network.TypedProtocol.ReqResp.Client
diff --git a/typed-protocols/examples/Network/TypedProtocol/ReqResp/Type.hs b/typed-protocols/examples/Network/TypedProtocol/ReqResp/Type.hs
@@ -1,11 +1,4 @@
-{-# LANGUAGE DataKinds          #-}
-{-# LANGUAGE EmptyCase          #-}
-{-# LANGUAGE FlexibleInstances  #-}
-{-# LANGUAGE GADTs              #-}
-{-# LANGUAGE PolyKinds          #-}
-{-# LANGUAGE StandaloneDeriving #-}
-{-# LANGUAGE TypeFamilies       #-}
-
+{-# LANGUAGE TypeFamilies #-}
 
 module Network.TypedProtocol.ReqResp.Type where
 
diff --git a/typed-protocols/examples/Network/TypedProtocol/ReqResp2/Client.hs b/typed-protocols/examples/Network/TypedProtocol/ReqResp2/Client.hs
@@ -1,12 +1,3 @@
-{-# LANGUAGE BangPatterns        #-}
-{-# LANGUAGE DataKinds           #-}
-{-# LANGUAGE GADTs               #-}
-{-# LANGUAGE PolyKinds           #-}
-{-# LANGUAGE ScopedTypeVariables #-}
-{-# LANGUAGE TypeApplications    #-}
-
-
-
 module Network.TypedProtocol.ReqResp2.Client where
 
 import           Network.TypedProtocol.ReqResp2.Type
diff --git a/typed-protocols/examples/Network/TypedProtocol/ReqResp2/Type.hs b/typed-protocols/examples/Network/TypedProtocol/ReqResp2/Type.hs
@@ -1,12 +1,5 @@
-{-# LANGUAGE DataKinds          #-}
-{-# LANGUAGE EmptyCase          #-}
-{-# LANGUAGE FlexibleInstances  #-}
-{-# LANGUAGE GADTs              #-}
-{-# LANGUAGE PolyKinds          #-}
-{-# LANGUAGE StandaloneDeriving #-}
 {-# LANGUAGE TypeFamilies       #-}
 
-
 module Network.TypedProtocol.ReqResp2.Type where
 
 import           Network.TypedProtocol.Core
diff --git a/typed-protocols/examples/Network/TypedProtocol/Stateful/ReqResp/Client.hs b/typed-protocols/examples/Network/TypedProtocol/Stateful/ReqResp/Client.hs
@@ -1,10 +1,3 @@
-{-# LANGUAGE DataKinds           #-}
-{-# LANGUAGE FlexibleContexts    #-}
-{-# LANGUAGE GADTs               #-}
-{-# LANGUAGE PolyKinds           #-}
-{-# LANGUAGE RankNTypes          #-}
-{-# LANGUAGE ScopedTypeVariables #-}
-
 module Network.TypedProtocol.Stateful.ReqResp.Client
   ( ReqRespClient (..)
   , reqRespClientPeer
diff --git a/typed-protocols/examples/Network/TypedProtocol/Stateful/ReqResp/Codec.hs b/typed-protocols/examples/Network/TypedProtocol/Stateful/ReqResp/Codec.hs
@@ -1,12 +1,3 @@
-{-# LANGUAGE DataKinds           #-}
-{-# LANGUAGE FlexibleContexts    #-}
-{-# LANGUAGE GADTs               #-}
-{-# LANGUAGE NamedFieldPuns      #-}
-{-# LANGUAGE PolyKinds           #-}
-{-# LANGUAGE RankNTypes          #-}
-{-# LANGUAGE ScopedTypeVariables #-}
-{-# LANGUAGE TypeOperators       #-}
-
 module Network.TypedProtocol.Stateful.ReqResp.Codec where
 
 import           Data.Kind (Type)
diff --git a/typed-protocols/examples/Network/TypedProtocol/Stateful/ReqResp/Examples.hs b/typed-protocols/examples/Network/TypedProtocol/Stateful/ReqResp/Examples.hs
@@ -1,10 +1,3 @@
-{-# LANGUAGE DataKinds           #-}
-{-# LANGUAGE GADTs               #-}
-{-# LANGUAGE NamedFieldPuns      #-}
-{-# LANGUAGE PolyKinds           #-}
-{-# LANGUAGE RankNTypes          #-}
-{-# LANGUAGE ScopedTypeVariables #-}
-
 module Network.TypedProtocol.Stateful.ReqResp.Examples where
 
 import           Network.TypedProtocol.Stateful.ReqResp.Server
diff --git a/typed-protocols/examples/Network/TypedProtocol/Stateful/ReqResp/Server.hs b/typed-protocols/examples/Network/TypedProtocol/Stateful/ReqResp/Server.hs
@@ -1,11 +1,3 @@
-{-# LANGUAGE DataKinds           #-}
-{-# LANGUAGE FlexibleContexts    #-}
-{-# LANGUAGE GADTs               #-}
-{-# LANGUAGE LambdaCase          #-}
-{-# LANGUAGE PolyKinds           #-}
-{-# LANGUAGE RankNTypes          #-}
-{-# LANGUAGE ScopedTypeVariables #-}
-
 module Network.TypedProtocol.Stateful.ReqResp.Server
   ( ReqRespServer (..)
   , reqRespServerPeer
diff --git a/typed-protocols/examples/Network/TypedProtocol/Stateful/ReqResp/Type.hs b/typed-protocols/examples/Network/TypedProtocol/Stateful/ReqResp/Type.hs
@@ -1,12 +1,4 @@
-{-# LANGUAGE DataKinds                #-}
-{-# LANGUAGE FlexibleInstances        #-}
-{-# LANGUAGE GADTs                    #-}
-{-# LANGUAGE PolyKinds                #-}
-{-# LANGUAGE ScopedTypeVariables      #-}
-{-# LANGUAGE StandaloneDeriving       #-}
-{-# LANGUAGE StandaloneKindSignatures #-}
-{-# LANGUAGE TypeFamilies             #-}
-
+{-# LANGUAGE TypeFamilies #-}
 
 -- | An RPC protocol which in which request type determines respond time.
 -- Unlike in the `Network.TypedProtocol.ReqResp.Type` where `req` and `resp`
diff --git a/typed-protocols/examples/Network/TypedProtocol/Trans/Wedge.hs b/typed-protocols/examples/Network/TypedProtocol/Trans/Wedge.hs
@@ -1,17 +1,5 @@
-{-# LANGUAGE DataKinds                #-}
-{-# LANGUAGE FlexibleContexts         #-}
-{-# LANGUAGE FlexibleInstances        #-}
-{-# LANGUAGE GADTs                    #-}
-{-# LANGUAGE InstanceSigs             #-}
-{-# LANGUAGE KindSignatures           #-}
-{-# LANGUAGE PolyKinds                #-}
-{-# LANGUAGE ScopedTypeVariables      #-}
-{-# LANGUAGE StandaloneDeriving       #-}
-{-# LANGUAGE StandaloneKindSignatures #-}
-{-# LANGUAGE TypeApplications         #-}
-{-# LANGUAGE TypeFamilies             #-}
-{-# LANGUAGE TypeOperators            #-}
-{-# LANGUAGE UndecidableInstances     #-}
+{-# LANGUAGE TypeFamilies         #-}
+{-# LANGUAGE UndecidableInstances #-}
 
 module Network.TypedProtocol.Trans.Wedge where
 
diff --git a/typed-protocols/src/Network/TypedProtocol/Codec.hs b/typed-protocols/src/Network/TypedProtocol/Codec.hs
@@ -1,14 +1,5 @@
-{-# LANGUAGE DataKinds             #-}
-{-# LANGUAGE FlexibleContexts      #-}
-{-# LANGUAGE FlexibleInstances     #-}
-{-# LANGUAGE GADTs                 #-}
-{-# LANGUAGE NamedFieldPuns        #-}
 {-# LANGUAGE PatternSynonyms       #-}
-{-# LANGUAGE PolyKinds             #-}
 {-# LANGUAGE QuantifiedConstraints #-}
-{-# LANGUAGE RankNTypes            #-}
-{-# LANGUAGE ScopedTypeVariables   #-}
-{-# LANGUAGE TypeFamilies          #-}
 -- @UndecidableInstances@ extension is required for defining @Show@ instance of
 -- @'AnyMessage'@ and @'AnyMessage'@.
 {-# LANGUAGE UndecidableInstances  #-}
diff --git a/typed-protocols/src/Network/TypedProtocol/Core.hs b/typed-protocols/src/Network/TypedProtocol/Core.hs
@@ -1,20 +1,7 @@
-{-# LANGUAGE ConstraintKinds          #-}
-{-# LANGUAGE DataKinds                #-}
-{-# LANGUAGE DerivingVia              #-}
-{-# LANGUAGE EmptyCase                #-}
-{-# LANGUAGE FlexibleContexts         #-}
-{-# LANGUAGE FlexibleInstances        #-}
-{-# LANGUAGE GADTs                    #-}
-{-# LANGUAGE MultiParamTypeClasses    #-}
-{-# LANGUAGE PatternSynonyms          #-}
-{-# LANGUAGE PolyKinds                #-}
-{-# LANGUAGE RankNTypes               #-}
-{-# LANGUAGE ScopedTypeVariables      #-}
-{-# LANGUAGE StandaloneDeriving       #-}
-{-# LANGUAGE StandaloneKindSignatures #-}
-{-# LANGUAGE TypeFamilyDependencies   #-}
-{-# LANGUAGE TypeOperators            #-}
-{-# LANGUAGE ViewPatterns             #-}
+{-# LANGUAGE DerivingVia     #-}
+{-# LANGUAGE PatternSynonyms #-}
+{-# LANGUAGE TypeFamilies    #-}
+{-# LANGUAGE ViewPatterns    #-}
 
 {-# OPTIONS_HADDOCK show-extensions #-}
 
diff --git a/typed-protocols/src/Network/TypedProtocol/Driver.hs b/typed-protocols/src/Network/TypedProtocol/Driver.hs
@@ -1,13 +1,4 @@
-{-# LANGUAGE BangPatterns        #-}
-{-# LANGUAGE DataKinds           #-}
-{-# LANGUAGE EmptyCase           #-}
-{-# LANGUAGE FlexibleContexts    #-}
-{-# LANGUAGE GADTs               #-}
-{-# LANGUAGE NamedFieldPuns      #-}
-{-# LANGUAGE PolyKinds           #-}
-{-# LANGUAGE RankNTypes          #-}
-{-# LANGUAGE ScopedTypeVariables #-}
-{-# LANGUAGE TypeFamilies        #-}
+{-# LANGUAGE TypeFamilies #-}
 
 -- | Actions for running 'Peer's with a 'Driver'
 --
diff --git a/typed-protocols/src/Network/TypedProtocol/Lemmas.hs b/typed-protocols/src/Network/TypedProtocol/Lemmas.hs
diff --git a/typed-protocols/src/Network/TypedProtocol/Peer.hs b/typed-protocols/src/Network/TypedProtocol/Peer.hs
diff --git a/typed-protocols/src/Network/TypedProtocol/Peer/Client.hs b/typed-protocols/src/Network/TypedProtocol/Peer/Client.hs
diff --git a/typed-protocols/src/Network/TypedProtocol/Peer/Server.hs b/typed-protocols/src/Network/TypedProtocol/Peer/Server.hs
diff --git a/typed-protocols/src/Network/TypedProtocol/Proofs.hs b/typed-protocols/src/Network/TypedProtocol/Proofs.hs
diff --git a/typed-protocols/stateful-cborg/Network/TypedProtocol/Stateful/Codec/CBOR.hs b/typed-protocols/stateful-cborg/Network/TypedProtocol/Stateful/Codec/CBOR.hs
diff --git a/typed-protocols/stateful/Network/TypedProtocol/Stateful/Codec.hs b/typed-protocols/stateful/Network/TypedProtocol/Stateful/Codec.hs
diff --git a/typed-protocols/stateful/Network/TypedProtocol/Stateful/Driver.hs b/typed-protocols/stateful/Network/TypedProtocol/Stateful/Driver.hs
diff --git a/typed-protocols/stateful/Network/TypedProtocol/Stateful/Peer.hs b/typed-protocols/stateful/Network/TypedProtocol/Stateful/Peer.hs
diff --git a/typed-protocols/stateful/Network/TypedProtocol/Stateful/Peer/Client.hs b/typed-protocols/stateful/Network/TypedProtocol/Stateful/Peer/Client.hs
diff --git a/typed-protocols/stateful/Network/TypedProtocol/Stateful/Peer/Server.hs b/typed-protocols/stateful/Network/TypedProtocol/Stateful/Peer/Server.hs
diff --git a/typed-protocols/stateful/Network/TypedProtocol/Stateful/Proofs.hs b/typed-protocols/stateful/Network/TypedProtocol/Stateful/Proofs.hs
diff --git a/typed-protocols/test/Network/TypedProtocol/PingPong/Tests.hs b/typed-protocols/test/Network/TypedProtocol/PingPong/Tests.hs
diff --git a/typed-protocols/test/Network/TypedProtocol/ReqResp/Tests.hs b/typed-protocols/test/Network/TypedProtocol/ReqResp/Tests.hs
diff --git a/typed-protocols/typed-protocols.cabal b/typed-protocols/typed-protocols.cabal

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,3 @@`
`1`		`-{-# LANGUAGE FlexibleContexts #-}`
`2`		`-`
`3`	`1`	`module Network.TypedProtocol.Documentation.DefaultMain`
`4`	`2`	`where`
`5`	`3`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,3 @@`
`1`		`-{-# LANGUAGE DeriveLift #-}`
`2`		`-{-# LANGUAGE DerivingStrategies #-}`
`3`	`1`	`{-# LANGUAGE OverloadedStrings #-}`
`4`	`2`
`5`	`3`	`module Network.TypedProtocol.Documentation.Types`