eval definitions have MonadAnalysis available.

2024-12-22 06:11:49 +03:00 · 2018-03-01 15:14:15 -05:00 · 2018-03-01 15:14:15 -05:00 · 9638c64024
commit 9638c64024
parent db751ae06b
1 changed files with 1 additions and 0 deletions
--- a/src/Data/Abstract/Evaluatable.hs
+++ b/src/Data/Abstract/Evaluatable.hs
@ -35,6 +35,7 @@ class Evaluatable constr where
  eval :: ( AbstractValue value
          , FreeVariables term
          , MonadAddressable (LocationFor value) value m
+          , MonadAnalysis term value m
          , MonadEvaluator term value m
          , MonadFunction term value m
          , Ord (LocationFor value)