From 04fb5d36b1712e908d2041ae7068cda1061b9c2a Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@me.com>
Date: Fri, 4 May 2018 19:10:01 -0400
Subject: [PATCH] Fix up some language extensions &c.

---
 src/Analysis/Abstract/Dead.hs | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/Analysis/Abstract/Dead.hs b/src/Analysis/Abstract/Dead.hs
index 502c7e432..08ba9d824 100644
--- a/src/Analysis/Abstract/Dead.hs
+++ b/src/Analysis/Abstract/Dead.hs
@@ -1,5 +1,4 @@
-{-# LANGUAGE GeneralizedNewtypeDeriving, TypeFamilies, TypeOperators, UndecidableInstances #-}
-{-# OPTIONS_GHC -Wno-redundant-constraints #-} -- For the Interpreter instance’s Evaluator constraint
+{-# LANGUAGE GeneralizedNewtypeDeriving, TypeOperators #-}
 module Analysis.Abstract.Dead
 ( Dead(..)
 , revivingTerms
@@ -36,7 +35,6 @@ subterms term = term `cons` para (foldMap (uncurry cons)) term
 revivingTerms :: ( Corecursive term
                  , Member (State (Dead term)) effects
                  , Ord term
-                 , Recursive term
                  )
               => SubtermAlgebra (Base term) term (Evaluator location term value effects a)
               -> SubtermAlgebra (Base term) term (Evaluator location term value effects a)