From 61418155732a13c69ab19de7669f88a9b4347e53 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Thu, 1 Mar 2018 12:08:31 -0500 Subject: [PATCH] :fire: a redundant constraint for the default signature. --- src/Data/Abstract/Evaluatable.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Data/Abstract/Evaluatable.hs b/src/Data/Abstract/Evaluatable.hs index c4172d22f..db6b7129c 100644 --- a/src/Data/Abstract/Evaluatable.hs +++ b/src/Data/Abstract/Evaluatable.hs @@ -41,7 +41,7 @@ class Evaluatable constr where , Semigroup (Cell (LocationFor value) value) ) => SubtermAlgebra constr term (m value) - default eval :: (FreeVariables term, MonadFail m, Show1 constr) => SubtermAlgebra constr term (m value) + default eval :: (MonadFail m, Show1 constr) => SubtermAlgebra constr term (m value) eval expr = fail $ "Eval unspecialized for " ++ liftShowsPrec (const (const id)) (const id) 0 expr "" -- | If we can evaluate any syntax which can occur in a 'Union', we can evaluate the 'Union'.