Compatibility with traverse-with-class-1.0.0.0, drop GHC 7.10.3, fixes #97

Author: Philipp Schuster

.travis.yml

@@ -13,9 +13,6 @@ before_cache:
 
 matrix:
   include:
-    - env: CABALVER=1.24 GHCVER=7.10.1
-      compiler: ": #GHC 7.10.1"
-      addons: {apt: {packages: [cabal-install-1.24,ghc-7.10.1,alex-3.1.7,happy-1.19.5], sources: [hvr-ghc]}}
     - env: CABALVER=1.24 GHCVER=8.0.1
       compiler: ": #GHC 8.0.1"
       addons: {apt: {packages: [cabal-install-1.24,ghc-8.0.1,alex-3.1.7,happy-1.19.5], sources: [hvr-ghc]}}

haskell-names.cabal

@@ -11,7 +11,7 @@ Homepage:               http://documentup.com/haskell-suite/haskell-names
 Stability:              Experimental
 Build-Type:             Simple
 Cabal-Version:          >= 1.10
-Tested-With:            GHC == 7.10.1, GHC == 8.0.1, GHC == 8.2.1
+Tested-With:            GHC == 8.0.1, GHC == 8.2.1
 
 extra-source-files:
   README.md
@@ -245,7 +245,7 @@ Library
     , aeson >= 0.8.0.2 && < 1.3
     , bytestring >= 0.10.4.0 && < 0.11
     , data-lens-light >= 0.1.2.1 && < 0.2
-    , traverse-with-class >= 0.2.0.3 && < 0.3
+    , traverse-with-class >= 1.0.0.0 && < 1.1
   if impl(ghc <= 7.8)
     Build-depends: tagged >= 0.8.4 && < 0.9
   Hs-source-dirs:       src
@@ -291,5 +291,5 @@ Test-suite test
     , tasty-golden >= 2.2.1 && < 2.4
     , filemanip >= 0.3.6.3 && < 0.4
     , pretty-show >= 1.6.1 && < 1.7
-    , traverse-with-class >= 0.2.0.3 && < 0.3
+    , traverse-with-class >= 1.0.0.0 && < 1.1
 

src/Language/Haskell/Names/Open/Base.hs

@@ -4,7 +4,7 @@
 -- You can look at "Language.Haskell.Exts.Annotated" source as an example
 -- of how to use this module.
 {-# LANGUAGE RankNTypes, FlexibleInstances, FlexibleContexts, UndecidableInstances, DefaultSignatures, TemplateHaskell, ScopedTypeVariables #-}
-{-# LANGUAGE ImplicitParams, KindSignatures #-}
+{-# LANGUAGE ImplicitParams, KindSignatures, TypeApplications #-}
 module Language.Haskell.Names.Open.Base where
 
 import qualified Language.Haskell.Names.GlobalSymbolTable as Global
@@ -91,9 +91,7 @@ data ConstraintProxy (p :: * -> Constraint) = ConstraintProxy
 defaultRtraverse
   :: (GTraversable Resolvable a, Applicative f, ?alg :: Alg f)
   => a -> Scope -> f a
-defaultRtraverse a sc =
-  let ?c = ConstraintProxy :: ConstraintProxy Resolvable
-  in gtraverse (\a -> alg a sc) a
+defaultRtraverse a sc = gtraverse @Resolvable (\d -> alg d sc) a
 
 -- | A type that implements 'Resolvable' provides a way to perform
 -- a shallow scope-aware traversal.

tests/run.hs

@@ -1,5 +1,6 @@
 {-# LANGUAGE FlexibleInstances, OverlappingInstances, ImplicitParams,
-             MultiParamTypeClasses, FlexibleContexts, GADTs #-}
+             MultiParamTypeClasses, FlexibleContexts, GADTs,
+             TypeApplications #-}
 -- GHC 7.8 fails with the default context stack size of 20
 {-# OPTIONS_GHC -fcontext-stack=50 #-}
 import Test.Tasty hiding (defaultMain)
@@ -135,15 +136,14 @@ printAnns
   :: Rec TestAnn (a (Scoped SrcSpan))
   => a (Scoped SrcSpan) -> String
 printAnns =
-  let ?c = Proxy :: Proxy (Rec TestAnn) in
   let
     -- format one annotation
     one :: TestAnn a => a -> String
     one a =
       flip F.foldMap (getAnn a) $ uncurry formatAnn
     -- tie the knot
     go :: Rec TestAnn a => a -> String
-    go a = one a ++ gfoldMap go a
+    go a = one a ++ gfoldMap @(Rec TestAnn) go a
   in go
 
 -----------------------