From 02dbaf964fddaba75d1386576029d7733c19323d Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Wed, 21 Mar 2018 20:14:16 -0400 Subject: [PATCH] :memo: withModules. --- src/Control/Abstract/Analysis.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/Control/Abstract/Analysis.hs b/src/Control/Abstract/Analysis.hs index 6d8b80a34..a8846cba8 100644 --- a/src/Control/Abstract/Analysis.hs +++ b/src/Control/Abstract/Analysis.hs @@ -60,6 +60,7 @@ evaluateTerm :: MonadAnalysis term value m => term -> m value evaluateTerm = foldSubterms analyzeTerm +-- | Run an action with the a list of 'Module's available for imports. withModules :: MonadAnalysis term value m => [Module term] -> m a -> m a withModules = localModuleTable . const . ModuleTable.fromList