Define a method to ask for the current module stack.

src/Analysis/Abstract/Collecting.hs

@@ -26,6 +26,8 @@ instance ( Effectful (m term value)
          => MonadEvaluator term value (Collecting m term value effects) where
   getConfiguration term = Configuration term <$> askRoots <*> getEnv <*> getHeap
 
+  askModuleStack = Collecting askModuleStack
+
 
 instance ( Effectful (m term value)
          , Foldable (Cell (LocationFor value))

src/Analysis/Abstract/Evaluating.hs

@@ -76,6 +76,8 @@ instance Members '[Reader (ModuleTable [Module term]), State (ModuleTable (Envir
 instance Members (EvaluatingEffects term value) effects => MonadEvaluator term value (Evaluating term value effects) where
   getConfiguration term = Configuration term mempty <$> getEnv <*> getHeap
 
+  askModuleStack = raise ask
+
 instance ( Evaluatable (Base term)
          , FreeVariables term
          , Members (EvaluatingEffects term value) effects

src/Control/Abstract/Evaluator.hs

@@ -43,6 +43,9 @@ class ( MonadControl term m
   -- | Get the current 'Configuration' with a passed-in term.
   getConfiguration :: Ord (LocationFor value) => term -> m (ConfigurationFor term value)
 
+  askModuleStack :: m [Module term]
+
+
 -- | A 'Monad' abstracting local and global environments.
 class Monad m => MonadEnvironment value m | m -> value where
   -- | Retrieve the environment.