Remove unused language extensions

Co-authored-by: Jan Beinke <git@janbeinke.com>

stm-ltd/src/Control/Concurrent/STM/Class/TH.hs

@@ -53,9 +53,10 @@ mkLiftImpl liftE fqn = do
   ty <- reifyType fqn
   let name = mkName $ nameBase fqn
   argNames <- mapM (\_ -> newName "x") [1..(argumentCount ty)]
-  let argPats = varP <$> argNames
-  let bodyE = [|$liftE $(foldl appE (varE fqn) (varE <$> argNames))|]
-  let clauses = [clause argPats (normalB bodyE) []]
+  let
+    argPats = varP <$> argNames
+    bodyE = [|$liftE $(foldl appE (varE fqn) (varE <$> argNames))|]
+    clauses = [clause argPats (normalB bodyE) []]
 #if MIN_VERSION_GLASGOW_HASKELL(9,2,0,0)
   doc <- getDoc (DeclDoc fqn)
   funD_doc name clauses doc [Nothing]

stm-ltd/stm-ltd.cabal

@@ -11,42 +11,21 @@ build-type:     Simple
 
 common shared-properties
   default-extensions:
-    AllowAmbiguousTypes
-    BangPatterns
     BlockArguments
     ConstraintKinds
     DataKinds
-    DefaultSignatures
-    DeriveGeneric
     DerivingStrategies
-    DisambiguateRecordFields
-    DuplicateRecordFields
-    ExistentialQuantification
     FlexibleContexts
     FlexibleInstances
     FunctionalDependencies
-    GADTs
     GeneralizedNewtypeDeriving
     ImportQualifiedPost
-    InstanceSigs
-    LambdaCase
-    -- Enable once 9.0.1 is required
-    --LexicalNegation
-    MultiParamTypeClasses
-    NamedFieldPuns
+    MonoLocalBinds
     NoImplicitPrelude
-    NumericUnderscores
-    OverloadedStrings
-    PolyKinds
-    RankNTypes
-    ScopedTypeVariables
+    NoStarIsType
     StandaloneDeriving
     StandaloneKindSignatures
-    TupleSections
-    TypeApplications
-    TypeFamilies
-    TypeOperators
-    ViewPatterns
+    KindSignatures
   default-language: Haskell2010
   ghc-options:
     -Weverything