fix subset type classes for sets
commit28fe8b8b99bc6e0debc2451e4299ad463cf534f8
authorDominic Orchard <dom.orchard@gmail.com>
dateThu 11 Jan 2018, 11:26 (9 years ago)
parentbbf1690
src/Data/Type/Set.hs+2−2
@@ -147,10 +147,10 @@ class Subset s t where
147147instance Subset '[] '[] where
148148 subset xs = Empty
149149
150−instance Subset s t => Subset s (x ': t) where
150+instance {-# OVERLAPPABLE #-} Subset s t => Subset s (x ': t) where
151151 subset (Ext _ xs) = subset xs
152152
153−instance Subset s t => Subset (x ': s) (x ': t) where
153+instance {-# OVERLAPS #-} Subset s t => Subset (x ': s) (x ': t) where
154154 subset (Ext x xs) = Ext x (subset xs)
155155
156156
type-level-sets.cabal+1−1
@@ -1,5 +1,5 @@
11name: type-level-sets
2−version: 0.8.5.0
2+version: 0.8.6.0
33synopsis: Type-level sets and finite maps (with value-level counterparts)
44description:
55 This package provides type-level sets (no duplicates, sorted to provide a normal form) via 'Set' and type-level