Use GHC2021

The goal was to use GHC2024, but that's only supported by `GHC >= 9.10`.
Required extensions which are part of GHC2024 are added to
`default-extensions`.

Author: coot

typed-protocols-cborg/src/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

typed-protocols-cborg/typed-protocols-cborg.cabal

@@ -23,11 +23,11 @@ library
                      cborg            >=0.2.1 && <0.3,
                      singletons,        
 
-                     io-classes:io-classes ^>=1.7,
+                     io-classes      ^>=1.7,
                      typed-protocols ^>=0.4
-
   hs-source-dirs:    src
-  default-language:  Haskell2010
+  default-language:  GHC2021
+  default-extensions: LambdaCase
   ghc-options:       -Wall
                      -Wno-unticked-promoted-constructors
                      -Wcompat

typed-protocols-examples/src/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 (..)

typed-protocols-examples/src/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'@.

typed-protocols-examples/src/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 (..)

typed-protocols-examples/src/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

typed-protocols-examples/src/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

typed-protocols-examples/src/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

typed-protocols-examples/src/Network/TypedProtocol/PingPong/Server.hs

@@ -1,5 +1,3 @@
-{-# LANGUAGE DataKinds       #-}
-{-# LANGUAGE GADTs           #-}
 {-# LANGUAGE RecordWildCards #-}
 
 module Network.TypedProtocol.PingPong.Server where

typed-protocols-examples/src/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