summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/Grasp/Interpreter.hs20
1 files changed, 19 insertions, 1 deletions
diff --git a/src/Grasp/Interpreter.hs b/src/Grasp/Interpreter.hs
index e8896cf..35a3de0 100644
--- a/src/Grasp/Interpreter.hs
+++ b/src/Grasp/Interpreter.hs
@@ -180,7 +180,25 @@ newI g ip = do
delI :: GraspProgram -> IP -> IO (GraspProgram, IP)
-delI g ip = return (g,ip)
+delI g ip = do
+ let node = fst . head $ ip
+ edges = Graph.out g node
+
+ tailN = targetNodes (getByLabel "tail" edges)
+ headN = targetNodes (getByLabel "head" edges)
+ labelL = targetLabels g (getByLabel "label" edges)
+
+ edgesToDel = filter (\(x,y,z) -> x `elem` tailN &&
+ (headN == [] || y `elem` headN) &&
+ (labelL == [] || z `elem` labelL)) (Graph.labEdges g)
+
+ g' = foldl' (\gr e -> Graph.delLEdge e gr) g edgesToDel
+
+ ip' <- updateIP ip (targetLNodes g' (getByLabel "next" (Graph.out g' node)))
+
+ return (g',ip')
+
+
pushI :: GraspProgram -> IP -> IO (GraspProgram, IP)
pushI g ip = return (g,ip)