missing Subset instance
'["x" :-> Bar] should be a subset of '["w" :-> Foo, "x" :-> Bar].
commit7f2fb435674d233bcf5c0af23795ab31bff7bd3c
authornotogawa <n.ohkawa@gmail.com>
dateThu 25 Dec 2014, 00:37 (12 years ago)
parent6bc6383
src/Data/Type/Set.hs+2−2
@@ -125,8 +125,8 @@ class Subset s t where
125125instance Subset '[] '[] where
126126 subset xs = Empty
127127
128−instance Subset '[] (x ': t) where
129− subset xs = Empty
128+instance Subset s t => Subset s (x ': t) where
129+ subset (Ext _ xs) = subset xs
130130
131131instance Subset s t => Subset (x ': s) (x ': t) where
132132 subset (Ext x xs) = Ext x (subset xs)