git.iko.soy/type-level-sets
on master help sign in
fix subset type classes for sets
28fe8b8Dominic Orchard
src/Data/Type/Set.hs+2−2
compare with master
unifiedsplit
@@ -147,10 +147,10 @@ class Subset s t where
147instance Subset '[] '[] where
147instance Subset '[] '[] where
148 subset xs = Empty
148 subset xs = Empty
149
149
150−instance Subset s t => Subset s (x ': t) where
150+instance {-# OVERLAPPABLE #-} Subset s t => Subset s (x ': t) where
151 subset (Ext _ xs) = subset xs
151 subset (Ext _ xs) = subset xs
152
152
153−instance Subset s t => Subset (x ': s) (x ': t) where
153+instance {-# OVERLAPS #-} Subset s t => Subset (x ': s) (x ': t) where
154 subset (Ext x xs) = Ext x (subset xs)
154 subset (Ext x xs) = Ext x (subset xs)
155
155
156
156
type-level-sets.cabal+1−1
@@ -1,5 +1,5 @@
1name: type-level-sets
1name: type-level-sets
2−version: 0.8.5.0
2+version: 0.8.6.0
3synopsis: Type-level sets and finite maps (with value-level counterparts)
3synopsis: Type-level sets and finite maps (with value-level counterparts)
4description:
4description:
5 This package provides type-level sets (no duplicates, sorted to provide a normal form) via 'Set' and type-level
5 This package provides type-level sets (no duplicates, sorted to provide a normal form) via 'Set' and type-level