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