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

🔥 some redundant constraints.

Browse Source
This commit is contained in:
Rob Rix 2018-03-07 18:36:16 -05:00
parent 6ed41a911c
commit 6b9ae3eb73
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Analysis/Abstract/Dead.hs
View File

@ -61,14 +61,12 @@ subterms term = term `cons` para (foldMap (uncurry cons)) term
instance ( Corecursive (TermFor m)
, Evaluatable (Base (TermFor m))
, LiftEffect m
, Member (State (Dead (TermFor m))) (Effects m)
, MonadAnalysis m
, MonadEvaluator m
, Ord (TermFor m)
, Recursive (TermFor m)
, Semigroup (CellFor (ValueFor m))
)
=> MonadAnalysis (DeadCodeAnalysis m) where
analyzeTerm term = do