Remove unused language extensions and imports and address some warnings.

Control/Monad/Primitive.hs

@@ -350,14 +350,14 @@ unsafeInlineST = unsafeInlinePrim
 touch :: PrimMonad m => a -> m ()
 {-# INLINE touch #-}
 touch x = unsafePrimToPrim
-        $ (primitive (\s -> case touch# x s of { s' -> (# s', () #) }) :: IO ())
+  (primitive (\s -> case touch# x s of { s' -> (# s', () #) }) :: IO ())
 
 -- | Variant of 'touch' that keeps a value of an unlifted type
 -- (e.g. @MutableByteArray#@) alive.
 touchUnlifted :: forall (m :: Type -> Type) (a :: UnliftedType). PrimMonad m => a -> m ()
 {-# INLINE touchUnlifted #-}
 touchUnlifted x = unsafePrimToPrim
-        $ (primitive (\s -> case touch# x s of { s' -> (# s', () #) }) :: IO ())
+  (primitive (\s -> case touch# x s of { s' -> (# s', () #) }) :: IO ())
 
 -- | Keep value @x@ alive until computation @k@ completes.
 -- Warning: This primop exists for completeness, but it is difficult to use

Data/Primitive/ByteArray.hs

@@ -4,6 +4,8 @@
 {-# LANGUAGE TypeApplications #-}
 {-# LANGUAGE RankNTypes #-}
 
+{-# OPTIONS_GHC -Wno-deprecations #-}
+
 -- |
 -- Module      : Data.Primitive.ByteArray
 -- Copyright   : (c) Roman Leshchinskiy 2009-2012

Data/Primitive/Internal/Operations.hs

@@ -1,5 +1,5 @@
 {-# LANGUAGE CPP, MagicHash, UnliftedFFITypes, UnboxedTuples #-}
-{-# LANGUAGE RankNTypes, KindSignatures, ScopedTypeVariables #-} 
+{-# LANGUAGE RankNTypes, KindSignatures, ScopedTypeVariables #-}
 {-# LANGUAGE DataKinds #-}
 #if __GLASGOW_HASKELL__ < 806
 {-# LANGUAGE TypeInType #-}

Data/Primitive/MVar.hs

@@ -1,4 +1,3 @@
-{-# LANGUAGE CPP #-}
 {-# LANGUAGE MagicHash #-}
 {-# LANGUAGE UnboxedTuples #-}
 

Data/Primitive/PrimArray.hs

@@ -9,6 +9,8 @@
 {-# LANGUAGE TemplateHaskellQuotes #-}
 {-# LANGUAGE RoleAnnotations #-}
 
+{-# OPTIONS_GHC -Wno-deprecations #-}
+
 -- |
 -- Module      : Data.Primitive.PrimArray
 -- Copyright   : (c) Roman Leshchinskiy 2009-2012

Data/Primitive/Ptr.hs

@@ -1,4 +1,3 @@
-{-# LANGUAGE CPP #-}
 {-# LANGUAGE MagicHash #-}
 {-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE TypeApplications #-}

Data/Primitive/SmallArray.hs

@@ -3,12 +3,12 @@
 {-# LANGUAGE RankNTypes #-}
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE UnboxedTuples #-}
-{-# LANGUAGE DeriveTraversable #-}
 {-# LANGUAGE DeriveDataTypeable #-}
-{-# LANGUAGE GeneralizedNewtypeDeriving #-}
 {-# LANGUAGE BangPatterns #-}
 {-# LANGUAGE TemplateHaskellQuotes #-}
 
+{-# OPTIONS_GHC -Wno-deprecations #-}
+
 -- |
 -- Module : Data.Primitive.SmallArray
 -- Copyright: (c) 2015 Dan Doel

bench/Array/Traverse/Closure.hs

@@ -7,10 +7,10 @@
   ( traversePoly
   ) where
 
 import Control.Applicative
 import Control.Monad.ST
 import Data.Primitive.Array
-import GHC.Exts (Int(..),MutableArray#)
+import GHC.Exts (MutableArray#)
 
 {-# INLINE traversePoly #-}
 traversePoly

bench/PrimArray/Compare.hs

@@ -1,5 +1,4 @@
 {-# LANGUAGE BangPatterns #-}
-{-# LANGUAGE ScopedTypeVariables #-}
 
 module PrimArray.Compare
   ( benchmarkLt
@@ -11,9 +10,6 @@ module PrimArray.Compare
   ) where
 
 import Data.Primitive
-import Data.Word
-import Control.Monad
-import Control.Monad.ST (runST)
 import GHC.Exts (fromList)
 
 benchmarkLtDef :: PrimArray Int -> PrimArray Int -> Bool

bench/main.hs

@@ -1,10 +1,3 @@
-{-# LANGUAGE BangPatterns #-}
-{-# LANGUAGE CPP #-}
-{-# LANGUAGE KindSignatures #-}
-{-# LANGUAGE MagicHash #-}
-{-# LANGUAGE UnboxedTuples #-}
-{-# OPTIONS_GHC -fno-warn-orphans #-}
-
 import Test.Tasty.Bench
 import Control.Monad.ST
 import Data.Primitive

test/Main.hs

@@ -1,7 +1,6 @@
 {-# LANGUAGE BangPatterns #-}
 {-# LANGUAGE CPP #-}
 {-# LANGUAGE GeneralizedNewtypeDeriving #-}
-{-# LANGUAGE KindSignatures #-}
 {-# LANGUAGE MagicHash #-}
 {-# LANGUAGE UnboxedTuples #-}
 {-# LANGUAGE ScopedTypeVariables #-}
@@ -11,10 +10,8 @@
 {-# OPTIONS_GHC -fno-warn-orphans #-}
 
 #if __GLASGOW_HASKELL__ >= 805
-{-# LANGUAGE GeneralizedNewtypeDeriving #-}
-{-# LANGUAGE DerivingStrategies #-}
 {-# LANGUAGE DerivingVia #-}
 {-# LANGUAGE TypeInType #-}
 #endif
 
 import Control.Monad