From b24c5d5ebb2ac39aad072034b1e183609aad2fcc Mon Sep 17 00:00:00 2001 From: Ayman Nadeem Date: Fri, 14 Dec 2018 11:23:49 -0500 Subject: [PATCH] eval can use Numeric --- src/Data/Abstract/Evaluatable.hs | 1 + src/Semantic/Analysis.hs | 1 + 2 files changed, 2 insertions(+) diff --git a/src/Data/Abstract/Evaluatable.hs b/src/Data/Abstract/Evaluatable.hs index b90741998..616775b79 100644 --- a/src/Data/Abstract/Evaluatable.hs +++ b/src/Data/Abstract/Evaluatable.hs @@ -52,6 +52,7 @@ class (Show1 constr, Foldable constr) => Evaluatable constr where , Member Fresh sig , Member (Function term address value) sig , Member (Modules address value) sig + , Member (Numeric value) sig , Member (Reader ModuleInfo) sig , Member (Reader PackageInfo) sig , Member (Reader Span) sig diff --git a/src/Semantic/Analysis.hs b/src/Semantic/Analysis.hs index 6edb11e12..e2198bf4d 100644 --- a/src/Semantic/Analysis.hs +++ b/src/Semantic/Analysis.hs @@ -139,6 +139,7 @@ evalTerm :: ( Carrier sig m , Member (Error (Return value)) sig , Member (Function term address value) sig , Member (Modules address value) sig + , Member (Numeric value) sig , Member (Reader ModuleInfo) sig , Member (Reader PackageInfo) sig , Member (Reader Span) sig