From 577e5e4ace07e2747b3b71d34cb49a684582c402 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Tue, 22 May 2018 14:13:51 -0400 Subject: [PATCH] :fire: graphingLoadErrors. --- src/Analysis/Abstract/Graph.hs | 11 ----------- 1 file changed, 11 deletions(-) diff --git a/src/Analysis/Abstract/Graph.hs b/src/Analysis/Abstract/Graph.hs index 7d76f449f..70f25e22a 100644 --- a/src/Analysis/Abstract/Graph.hs +++ b/src/Analysis/Abstract/Graph.hs @@ -8,7 +8,6 @@ module Analysis.Abstract.Graph , moduleInclusion , packageInclusion , graphingTerms -, graphingLoadErrors , graphingPackages , graphingModules , graphing @@ -17,7 +16,6 @@ module Analysis.Abstract.Graph import Algebra.Graph.Export.Dot hiding (vertexName) import Control.Abstract import Data.Abstract.Address -import Data.Abstract.Evaluatable (LoadError (..)) import Data.Abstract.FreeVariables import Data.Abstract.Module (Module(moduleInfo), ModuleInfo(..)) import Data.Abstract.Package (PackageInfo(..)) @@ -71,15 +69,6 @@ graphingTerms recur term@(In _ syntax) = do _ -> pure () recur term --- | Add vertices to the graph for 'LoadError's. -graphingLoadErrors :: Members '[ Reader ModuleInfo - , Resumable (LoadError location value) - , State (Graph Vertex) - ] effects - => SubtermAlgebra (Base term) term (TermEvaluator term location value effects a) - -> SubtermAlgebra (Base term) term (TermEvaluator term location value effects a) -graphingLoadErrors recur term = TermEvaluator (runTermEvaluator (recur term) `resumeLoadError` (\ (ModuleNotFound name) -> moduleInclusion (Module (BC.pack name)) *> moduleNotFound name)) - graphingPackages :: Members '[ Reader ModuleInfo , Reader PackageInfo , State (Graph Vertex)