diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2014-12-19 19:19:44 +1100 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2014-12-19 19:19:44 +1100 |
| commit | ce4a5e99734a005438426c4d2d02de180bc4b41d (patch) | |
| tree | bdb3b97724d7af65e19507de06b1d98e107c799d /src/Grasp | |
| parent | 441cefdda7e88b8c6498ff80a9d2f9710cd91786 (diff) | |
Called functions no longer transfer name edges so garbage collection works properly
Diffstat (limited to 'src/Grasp')
| -rw-r--r-- | src/Grasp/Interpreter.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Grasp/Interpreter.hs b/src/Grasp/Interpreter.hs index 82304c1..20d4bd2 100644 --- a/src/Grasp/Interpreter.hs +++ b/src/Grasp/Interpreter.hs @@ -275,7 +275,7 @@ callI = do ae' <- return (map (\x -> GE.mk (GN.toNode calledNode, GE.toDest x, GE.toLabel x)) ae) GMonad.insNodes sn' - GMonad.insEdges (se' ++ ae') + GMonad.insEdges ((filter ((/= (EL.mk "name")) . GE.toLabel) se') ++ ae') GMonad.pushIP calledNode |