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

Derive a Lower instance for Dead.

Browse Source
This commit is contained in:
Rob Rix 2018-05-04 18:55:21 -04:00
parent 7d97d97cc4
commit cdb7169ecb
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -7,6 +7,7 @@ module Analysis.Abstract.Dead
import Control.Abstract.Analysis import Control.Abstract.Analysis
import Data.Abstract.Module import Data.Abstract.Module
import Data.Semigroup.Reducer as Reducer import Data.Semigroup.Reducer as Reducer
import Data.Semilattice.Lower
import Data.Set (delete) import Data.Set (delete)
import Prologue import Prologue
@ -18,7 +19,7 @@ deriving instance Evaluator location term value m => Evaluator location term val
-- | A set of “dead” (unreachable) terms. -- | A set of “dead” (unreachable) terms.
newtype Dead term = Dead { unDead :: Set term } newtype Dead term = Dead { unDead :: Set term }
deriving (Eq, Foldable, Semigroup, Monoid, Ord, Show) deriving (Eq, Foldable, Lower, Monoid, Ord, Semigroup, Show)
deriving instance Ord term => Reducer term (Dead term) deriving instance Ord term => Reducer term (Dead term)