Merge pull request #98 from RyanGlScott/8.8

Give HasAny/AsAny the same VTA behavior on 8.6 and 8.8
kcsongor · Sep 10, 2019 · 381d064 · 381d064
2 parents 8527fb2 + 0990a7f
commit 381d064
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/Data/Generics/Product/Any.hs b/src/Data/Generics/Product/Any.hs
@@ -53,7 +53,7 @@ import Data.Generics.Product.Typed
 -- human = Human "Tunyasz" 50 "London"
 -- :}
 
-class HasAny (sel :: k) s t a b | s sel k -> a where
+class HasAny sel s t a b | s sel -> a where
   -- |A lens that focuses on a part of a product as identified by some
   --  selector. Currently supported selectors are field names, positions and
   --  unique types. Compatible with the lens package's 'Control.Lens.Lens'

diff --git a/src/Data/Generics/Sum/Any.hs b/src/Data/Generics/Sum/Any.hs
@@ -61,7 +61,7 @@ import Data.Generics.Internal.VL.Prism
 -- :}
 
 -- |Sums that have generic prisms.
-class AsAny (sel :: k) a s | s sel k -> a where
+class AsAny sel a s | s sel -> a where
   -- |A prism that projects a sum as identified by some selector. Currently
   --  supported selectors are constructor names and unique types. Compatible
   --  with the lens package's 'Control.Lens.Prism' type.