Merge branch 'master' of github.com:dorchard/type-level-sets
commit7a1030a7d1fadcf6d6221387a115947582a3c552
authordominic <dom.orchard@gmail.com>
dateTue 23 Feb 2016, 15:33 (11 years ago)
parent618db424cb174c
src/Data/Type/Set.hs+2−2
@@ -124,8 +124,8 @@ class Subset s t where
124124instance Subset '[] '[] where
125125 subset xs = Empty
126126
127−instance Subset '[] (x ': t) where
128− subset xs = Empty
127+instance Subset s t => Subset s (x ': t) where
128+ subset (Ext _ xs) = subset xs
129129
130130instance Subset s t => Subset (x ': s) (x ': t) where
131131 subset (Ext x xs) = Ext x (subset xs)