From 3f1db36e64db49fbf14802484e5063f376fc5b9d Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Wed, 28 Feb 2018 10:48:21 -0500 Subject: [PATCH] Define a getter for the module table. --- src/Analysis/Abstract/Evaluator.hs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/Analysis/Abstract/Evaluator.hs b/src/Analysis/Abstract/Evaluator.hs index 6638f35a7..6202c3abe 100644 --- a/src/Analysis/Abstract/Evaluator.hs +++ b/src/Analysis/Abstract/Evaluator.hs @@ -33,6 +33,10 @@ modifyStore :: (StoreFor value -> StoreFor value) -> Evaluator effects value () modifyStore f = Evaluator (modify f) +getModuleTable :: Evaluator effects value (Linker value) +getModuleTable = Evaluator get + + data Evaluator effects value a = Evaluator { runEvaluator :: Members '[ Fail