github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-26 00:12:29 +03:00
Code Issues Projects Releases Wiki Activity

lints

Browse Source
This commit is contained in:
Patrick Thomson 2018-07-03 18:46:45 -04:00
parent cfefbefaa6
commit 7d6195fe7d
2 changed files with 2 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/Data/Abstract/Cache.hs
View File

@ -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 :: 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 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 cacheKeys = Monoidal.keys . unCache
instance (Show term, Show address, Show (cell value), Show value) => Show (Cache term address cell value) where instance (Show term, Show address, Show (cell value), Show value) => Show (Cache term address cell value) where

5
src/Semantic/Graph.hs
View File

@ -65,11 +65,6 @@ runGraph CallGraph includePackages project
runCallGraph :: ( HasField ann Span runCallGraph :: ( HasField ann Span
, Element Syntax.Identifier syntax , 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) , Base term ~ TermF (Sum syntax) (Record ann)
, Ord term , Ord term
, Corecursive term , Corecursive term