From cdb7169ecb1bd99cc22037b52555f3d8c4cb8385 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Fri, 4 May 2018 18:55:21 -0400 Subject: [PATCH] Derive a Lower instance for Dead. --- src/Analysis/Abstract/Dead.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/Analysis/Abstract/Dead.hs b/src/Analysis/Abstract/Dead.hs index 5c0112862..c3fb08e51 100644 --- a/src/Analysis/Abstract/Dead.hs +++ b/src/Analysis/Abstract/Dead.hs @@ -7,6 +7,7 @@ module Analysis.Abstract.Dead import Control.Abstract.Analysis import Data.Abstract.Module import Data.Semigroup.Reducer as Reducer +import Data.Semilattice.Lower import Data.Set (delete) import Prologue @@ -18,7 +19,7 @@ deriving instance Evaluator location term value m => Evaluator location term val -- | A set of “dead” (unreachable) terms. 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)