From aed9457896efbf457ad8e6c7e5d9c390ba1d5cbe Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Fri, 30 Mar 2018 19:09:37 -0400 Subject: [PATCH] :fire: withModules. --- src/Data/Abstract/Evaluatable.hs | 11 +---------- 1 file changed, 1 insertion(+), 10 deletions(-) diff --git a/src/Data/Abstract/Evaluatable.hs b/src/Data/Abstract/Evaluatable.hs index 5ea3acd33..e005fcf45 100644 --- a/src/Data/Abstract/Evaluatable.hs +++ b/src/Data/Abstract/Evaluatable.hs @@ -9,9 +9,8 @@ module Data.Abstract.Evaluatable , variable , evaluateTerm , evaluateModule -, evaluatePackage -, withModules , evaluateModules +, evaluatePackage , throwLoadError , require , load @@ -172,14 +171,6 @@ evaluateModule :: MonadEvaluatable location term value m -> m value evaluateModule m = analyzeModule (subtermValue . moduleBody) (fmap (Subterm <*> evaluateTerm) m) - --- | Run an action with the a list of 'Module's available for imports. -withModules :: MonadEvaluatable location term value m - => [Module term] - -> m a - -> m a -withModules = localModuleTable . const . ModuleTable.fromModules - -- | Evaluate with a list of modules in scope, taking the head module as the entry point. evaluateModules :: ( Effectful m , Member (Reader (SomeOrigin term)) effects