Avoid allocating a useless cell.

Author: robrix

semantic-core/src/Analysis/FlowInsensitive.hs

@@ -67,8 +67,8 @@ cacheTerm eval term = do
       result <- eval term
       result <$ modify (Cache . Map.insertWith (<>) term (Set.singleton (result :: a)) . unCache)
 
-runHeap :: address -> StateC (Heap address a) m b -> m (Heap address a, b)
-runHeap addr m = runState (Map.singleton addr Set.empty) m
+runHeap :: StateC (Heap address a) m b -> m (Heap address a, b)
+runHeap m = runState (Map.empty) m
 
 -- | Fold a collection by mapping each element onto an 'Alternative' action.
 foldMapA :: (Alternative m, Foldable t) => (b -> m a) -> t b -> m a

semantic-core/src/Analysis/ImportGraph.hs

@@ -63,7 +63,7 @@ importGraph
 importGraph eval
   = run
   . runFresh
-  . runHeap "__semantic_root"
+  . runHeap
   . traverse (runFile eval)
 
 runFile

semantic-core/src/Analysis/Typecheck.hs

@@ -103,7 +103,7 @@ typecheckingFlowInsensitive
 typecheckingFlowInsensitive eval
   = run
   . runFresh
-  . runHeap "__semantic_root"
+  . runHeap
   . fmap (fmap (fmap (fmap generalize)))
   . traverse (runFile eval)