Skip to content
Browse files

oops, don't need that AllNotElem [] [] instance afterall

  • Loading branch information...
1 parent 4345b2b commit b2356d7f81b49257ac3dc36ac93c8cfc21e2fc9d @mikeplus64 committed Dec 14, 2012
Showing with 0 additions and 1 deletion.
  1. +0 −1 src/Data/Record.hs
View
1 src/Data/Record.hs
@@ -186,7 +186,6 @@ instance NotElem y '[ x ]
instance NotElem y xs => NotElem y (x ': xs)
class AllNotElem (xs :: [a]) (ys :: [a])
-instance AllNotElem '[] '[]
instance AllNotElem '[] ys
instance AllNotElem xs '[]
instance (NotElem y xs, AllNotElem ys xs) => AllNotElem (y ': ys) xs

0 comments on commit b2356d7

Please sign in to comment.
Something went wrong with that request. Please try again.