Merge pull request #227 from BebeSparkelSparkel/type-operators

add TypeOperators to advert future errors for ~ [-Wtype-equality-requires-operators](https://ghc.gitlab.haskell.org/ghc/doc/users_guide/using-warnings.html?highlight=wtype%20equality%20requires%20operators#ghc-flag--Wtype-equality-requires-operators) [proposal 0371](https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0371-non-magical-eq.md)
snoyberg · Jul 12, 2024 · 6f27a4f · 6f27a4f
2 parents 8ada6b1 + 4eea4f7
commit 6f27a4f
Show file tree

Hide file tree

Showing 11 changed files with 11 additions and 4 deletions.
diff --git a/mono-traversable/mono-traversable.cabal b/mono-traversable/mono-traversable.cabal
@@ -5,7 +5,7 @@ cabal-version: 1.12
 -- see: https://github.com/sol/hpack
 
 name:           mono-traversable
-version:        1.0.17.0
+version:        1.0.17.1
 synopsis:       Type classes for mapping, folding, and traversing monomorphic containers
 description:    Please see the README at <https://www.stackage.org/package/mono-traversable>
 category:       Data

diff --git a/mono-traversable/package.yaml b/mono-traversable/package.yaml
@@ -1,5 +1,5 @@
 name:        mono-traversable
-version:     1.0.17.0
+version:     1.0.17.1
 synopsis:    Type classes for mapping, folding, and traversing monomorphic containers
 description: Please see the README at <https://www.stackage.org/package/mono-traversable>
 category:    Data

diff --git a/mono-traversable/src/Data/Containers.hs b/mono-traversable/src/Data/Containers.hs
@@ -4,6 +4,7 @@
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE CPP #-}
+{-# LANGUAGE TypeOperators #-}
 -- | Warning: This module should be considered highly experimental.
 module Data.Containers where
 

diff --git a/mono-traversable/src/Data/MonoTraversable/Unprefixed.hs b/mono-traversable/src/Data/MonoTraversable/Unprefixed.hs
@@ -1,6 +1,7 @@
 {-# LANGUAGE CPP #-}
 {-# LANGUAGE FlexibleContexts #-}
 {-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE TypeOperators #-}
 -- | The functions in "Data.MonoTraversable" are all prefixed with the letter
 -- @o@ to avoid conflicts with their polymorphic counterparts. This module
 -- exports the same identifiers without the prefix, for all cases where the

diff --git a/mono-traversable/src/Data/Sequences.hs b/mono-traversable/src/Data/Sequences.hs
@@ -5,6 +5,7 @@
 {-# LANGUAGE ConstraintKinds #-}
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE FunctionalDependencies #-}
+{-# LANGUAGE TypeOperators #-}
 -- | Abstractions over sequential data structures, like lists and vectors.
 module Data.Sequences where
 

diff --git a/mutable-containers/bench/deque.hs b/mutable-containers/bench/deque.hs
@@ -1,5 +1,6 @@
 {-# LANGUAGE ConstraintKinds #-}
 {-# LANGUAGE TypeFamilies    #-}
+{-# LANGUAGE TypeOperators #-}
 import Control.Monad
 import Gauge.Main
 import Data.Mutable

diff --git a/mutable-containers/bench/ref.hs b/mutable-containers/bench/ref.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE TypeOperators #-}
 import Control.Monad
 import Gauge.Main
 import Data.Mutable

diff --git a/mutable-containers/mutable-containers.cabal b/mutable-containers/mutable-containers.cabal
@@ -5,7 +5,7 @@ cabal-version: 1.12
 -- see: https://github.com/sol/hpack
 
 name:           mutable-containers
-version:        0.3.4.1
+version:        0.3.4.2
 synopsis:       Abstractions and concrete implementations of mutable containers
 description:    See docs and README at <http://www.stackage.org/package/mutable-containers>
 category:       Data

diff --git a/mutable-containers/package.yaml b/mutable-containers/package.yaml
@@ -1,5 +1,5 @@
 name:        mutable-containers
-version:     0.3.4.1
+version:     0.3.4.2
 synopsis:    Abstractions and concrete implementations of mutable containers
 description: See docs and README at <http://www.stackage.org/package/mutable-containers>
 category:    Data

diff --git a/mutable-containers/src/Data/Mutable/Class.hs b/mutable-containers/src/Data/Mutable/Class.hs
@@ -2,6 +2,7 @@
 {-# LANGUAGE FlexibleContexts  #-}
 {-# LANGUAGE FlexibleInstances #-}
 {-# LANGUAGE TypeFamilies      #-}
+{-# LANGUAGE TypeOperators #-}
 -- | Various typeclasses for mutable containers.
 module Data.Mutable.Class
     ( PrimMonad

diff --git a/mutable-containers/test/Spec.hs b/mutable-containers/test/Spec.hs
@@ -1,5 +1,6 @@
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE FlexibleContexts #-}
+{-# LANGUAGE TypeOperators #-}
 
 import Control.Monad             (forM_)
 import Data.Mutable