From 10ee109dae6ee9419fbef89e72f93428f1b00974 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Tue, 22 Oct 2019 17:04:31 -0400 Subject: [PATCH] Try to correct the constraints for the benchmarks. --- bench/Evaluation.hs | 17 ++++++++--------- 1 file changed, 8 insertions(+), 9 deletions(-) diff --git a/bench/Evaluation.hs b/bench/Evaluation.hs index abe41940a..157226592 100644 --- a/bench/Evaluation.hs +++ b/bench/Evaluation.hs @@ -31,17 +31,16 @@ import System.Path (()) -- Duplicating this stuff from Util to shut off the logging callGraphProject' :: ( Language.SLanguage lang - , Ord1 (Syntax term) - , Declarations1 (Syntax term) - , Evaluatable (Syntax term) - , FreeVariables1 (Syntax term) - , AccessControls1 (Syntax term) , HasPrelude lang - , IsTerm term - , Functor (Syntax term) - , VertexDeclaration1 (Syntax term) - , Ord (term Loc) , AccessControls (term Loc) + , Declarations (term Loc) + , Evaluatable (Base (term Loc)) + , FreeVariables (term Loc) + , HasSpan (term Loc) + , Ord (term Loc) + , Recursive (term Loc) + , Show (term Loc) + , VertexDeclaration term ) => TaskSession -> Proxy lang