From 7d6195fe7dee065cfdae7386efd3d0e77f880e0e Mon Sep 17 00:00:00 2001 From: Patrick Thomson Date: Tue, 3 Jul 2018 18:46:45 -0400 Subject: [PATCH] lints --- src/Data/Abstract/Cache.hs | 3 ++- src/Semantic/Graph.hs | 5 ----- 2 files changed, 2 insertions(+), 6 deletions(-) diff --git a/src/Data/Abstract/Cache.hs b/src/Data/Abstract/Cache.hs index 703691dc9..78bd3ab25 100644 --- a/src/Data/Abstract/Cache.hs +++ b/src/Data/Abstract/Cache.hs @@ -32,7 +32,8 @@ cacheSet key value = Cache . Monoidal.insert key value . unCache cacheInsert :: Cacheable term address cell value => Configuration term address cell value -> Cached address cell value -> Cache term address cell value -> Cache term address cell value cacheInsert = curry cons -cacheKeys :: Cacheable term address cell value => Cache term address cell value -> [Configuration term address cell value] +-- | Return all 'Configuration's in the provided cache. +cacheKeys :: Cache term address cell value -> [Configuration term address cell value] cacheKeys = Monoidal.keys . unCache instance (Show term, Show address, Show (cell value), Show value) => Show (Cache term address cell value) where diff --git a/src/Semantic/Graph.hs b/src/Semantic/Graph.hs index 51658eecc..d89b1c8ca 100644 --- a/src/Semantic/Graph.hs +++ b/src/Semantic/Graph.hs @@ -65,11 +65,6 @@ runGraph CallGraph includePackages project runCallGraph :: ( HasField ann Span , Element Syntax.Identifier syntax - , Apply Eq1 syntax - , Apply Ord1 syntax - , Apply Functor syntax - , Ord (Record ann) - , Show term , Base term ~ TermF (Sum syntax) (Record ann) , Ord term , Corecursive term