Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

filterInstancesIl.

  • Loading branch information...
commit 0fd35e36333a8d0764aadab5c86bb5806d859d5b 1 parent ca17488
Marco Túlio Pimenta Gontijo authored
Showing with 3 additions and 3 deletions.
  1. +3 −3 src/Iface/IfaceDriver.hs
View
6 src/Iface/IfaceDriver.hs
@@ -54,7 +54,7 @@ filterIl
{synonyms = doFilterIl op is s,
classes = doFilterIl op is c,
assumps = doFilterIl op is a,
- instances = filterInstances op is i}
+ instances = filterInstancesIl op is i}
where
op :: Eq a => a -> a -> Bool
op
@@ -70,9 +70,9 @@ isToName (IVar n) = Just n
isToName (IAbs n) = Just n
isToName _ = Nothing
-filterInstances
+filterInstancesIl
:: ((Id, Id) -> (Id, Id) -> Bool) -> [ImportSpec] -> [Inst] -> [Inst]
-filterInstances op is
+filterInstancesIl op is
= filter
((\x -> any (op x) $ mapMaybe importSpecToInstanceSpec is)
. instToInstanceSpec)
Please sign in to comment.
Something went wrong with that request. Please try again.