From 093a02dc88d7ad00cc69b6cee285c5e40f30727c Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Mon, 25 Sep 2017 15:56:31 -0400 Subject: [PATCH] :fire: a redundant Functor constraint. --- src/Interpreter.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Interpreter.hs b/src/Interpreter.hs index b1a360a4f..b33417074 100644 --- a/src/Interpreter.hs +++ b/src/Interpreter.hs @@ -109,7 +109,7 @@ comparableByConstructor (In _ u1) (In _ u2) -- | Equivalency relation for terms. Equivalence is determined by functions and -- methods with equal identifiers/names and recursively by equivalent terms with -- identical shapes. -equivalentTerms :: (Declaration.Method :< fs, Declaration.Function :< fs, Syntax.Context :< fs, Apply Functor fs, Apply Foldable fs, Apply GAlign fs) +equivalentTerms :: (Declaration.Method :< fs, Declaration.Function :< fs, Syntax.Context :< fs, Apply Foldable fs, Apply GAlign fs) => Term (Union fs) ann1 -> Term (Union fs) ann2 -> Bool