From 55abf44b166731058f3c933311f0e9e2d46507ba Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@me.com>
Date: Thu, 22 Mar 2018 12:09:22 -0400
Subject: [PATCH] Specialize evaluateModule.

---
 src/Analysis/Abstract/ImportGraph.hs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/Analysis/Abstract/ImportGraph.hs b/src/Analysis/Abstract/ImportGraph.hs
index d381b2aec..e2d7cf9cc 100644
--- a/src/Analysis/Abstract/ImportGraph.hs
+++ b/src/Analysis/Abstract/ImportGraph.hs
@@ -12,6 +12,7 @@ import Algebra.Graph.Class
 import Algebra.Graph.Export.Dot
 import Control.Abstract.Analysis
 import Data.Abstract.FreeVariables
+import Data.Abstract.Module
 import Data.Set (member)
 import qualified Data.Syntax as Syntax
 import qualified Data.Syntax.Declaration as Declaration
@@ -46,6 +47,8 @@ instance MonadAnalysis term value (m term value effects) => MonadAnalysis term v
 
   analyzeTerm = liftAnalyze analyzeTerm
 
+  evaluateModule m@Module{..} = ImportGraphing (evaluateModule m)
+
 
 -- | Types which contribute to a 'ImportGraph'. There is exactly one instance of this typeclass; customizing the 'ImportGraph's for a new type is done by defining an instance of 'CustomImportGraphAlgebra' instead.
 --