diff --git a/src/Semantic/Util.hs b/src/Semantic/Util.hs index dfc403c11..35c04b89e 100644 --- a/src/Semantic/Util.hs +++ b/src/Semantic/Util.hs @@ -25,6 +25,7 @@ import Semantic.Task import Data.AST import Data.Union import Data.Abstract.Value +import Data.Abstract.Store import Data.Abstract.Address import qualified Language.Python.Assignment as Python @@ -41,6 +42,14 @@ parsePythonFiles paths entryPath = do entryTerm <- runTask (parse pythonParser entryBlob) pure (zip blobs terms, (entryBlob, entryTerm)) +evaluatePythonFiles :: [FilePath] + -> IO + (Either + Prelude.String + (Union + (ValueConstructors Precise) + (Term (Union Python.Syntax) (Record Location))), + Store Precise PythonValue) evaluatePythonFiles paths = do blobs@(b:bs) <- traverse file paths (t:ts) <- runTask $ traverse (parse pythonParser) blobs