Enable PolyKinds
commit68cf321722b9992bcb402166e833ff4c6088143d
authorAli Abrar <aliabrar@gmail.com>
dateTue 20 Apr 2021, 15:00 (5 years ago)
parentdb340cf
ChangeLog.md+4
@@ -1,5 +1,9 @@
11# Revision history for patch
22
3+## 0.0.4.0
4+
5+* Enable PolyKinds
6+
37## 0.0.3.2
48
59* Update version bounds
patch.cabal+2−1
@@ -1,5 +1,5 @@
11Name: patch
2−Version: 0.0.3.2
2+Version: 0.0.4.0
33Synopsis: Data structures for describing changes to other data structures.
44Description:
55 Data structures for describing changes to other data structures.
@@ -55,6 +55,7 @@ library
5555 , Data.Patch.MapWithPatchingMove
5656
5757 ghc-options: -Wall -fwarn-redundant-constraints -fwarn-tabs
58+ default-extensions: PolyKinds
5859
5960 if flag(split-these)
6061 build-depends: these >= 1 && <1.2
src/Data/Patch/Class.hs+1−1
@@ -30,7 +30,7 @@ instance Patch (Identity a) where
3030 apply (Identity a) _ = Just a
3131
3232-- | 'Proxy' can be used as a 'Patch' that does nothing.
33−instance Patch (Proxy a) where
33+instance Patch (Proxy (a :: *)) where
3434 type PatchTarget (Proxy a) = a
3535 apply ~Proxy _ = Nothing
3636