on develop help sign in
Enable PolyKinds
68cf321Ali Abrar
ChangeLog.md+4
@@ -1,5 +1,9 @@
1# Revision history for patch
1# Revision history for patch
2
2
3+## 0.0.4.0
4+
5+* Enable PolyKinds
6+
3## 0.0.3.2
7## 0.0.3.2
4
8
5* Update version bounds
9* Update version bounds
patch.cabal+2−1
@@ -1,5 +1,5 @@
1Name: patch
1Name: patch
2−Version: 0.0.3.2
2+Version: 0.0.4.0
3Synopsis: Data structures for describing changes to other data structures.
3Synopsis: Data structures for describing changes to other data structures.
4Description:
4Description:
5 Data structures for describing changes to other data structures.
5 Data structures for describing changes to other data structures.
@@ -55,6 +55,7 @@ library
55 , Data.Patch.MapWithPatchingMove
55 , Data.Patch.MapWithPatchingMove
56
56
57 ghc-options: -Wall -fwarn-redundant-constraints -fwarn-tabs
57 ghc-options: -Wall -fwarn-redundant-constraints -fwarn-tabs
58+ default-extensions: PolyKinds
58
59
59 if flag(split-these)
60 if flag(split-these)
60 build-depends: these >= 1 && <1.2
61 build-depends: these >= 1 && <1.2
src/Data/Patch/Class.hs+1−1
@@ -30,7 +30,7 @@ instance Patch (Identity a) where
30 apply (Identity a) _ = Just a
30 apply (Identity a) _ = Just a
31
31
32-- | 'Proxy' can be used as a 'Patch' that does nothing.
32-- | 'Proxy' can be used as a 'Patch' that does nothing.
33−instance Patch (Proxy a) where
33+instance Patch (Proxy (a :: *)) where
34 type PatchTarget (Proxy a) = a
34 type PatchTarget (Proxy a) = a
35 apply ~Proxy _ = Nothing
35 apply ~Proxy _ = Nothing
36
36