Am I going the wrong way...?

diff --git a/Types/Data/Graph.hs b/Types/Data/Graph.hs
index 9c5e65e576d0310abd3d51173b91da0c546c1c49..3e551bc933a08e2a459a0e9f55f1eb3242470d58 100644 (file)
--- a/Types/Data/Graph.hs
+++ b/Types/Data/Graph.hs
@@ -109,7 +109,7 @@ type instance Match' (Just (Context p node' label s)) node (Graph g)
     = Decomp (Just (Context (M.Delete node p)
                             node
                             label
-                            (M.Delete node s)))
+                            s))
              (Graph (ClearSucc (ClearPred (M.Delete node g)
                                           node
                                           (M.Keys (M.Delete node s)))

diff --git a/Types/Data/Graph/Dijkstra.hs b/Types/Data/Graph/Dijkstra.hs
index e25aaa00d6f648fc7ad0faa5d18c2c35f395221e..5ae80f4eb96c2cc08b93d1f78619505944fb6255 100644 (file)
--- a/Types/Data/Graph/Dijkstra.hs
+++ b/Types/Data/Graph/Dijkstra.hs
@@ -1,6 +1,7 @@
 {-# LANGUAGE
   EmptyDataDecls,
   TypeFamilies,
+  TypeOperators,
   UndecidableInstances
   #-}
 module Types.Data.Graph.Dijkstra
@@ -61,5 +62,6 @@ type Sp node1 node2 graph
 
 
 
-test :: Match D1 (InsNode (LNode D0 True) Empty)
+test :: SpTree D2 (InsNode (LNode D1 False)
+                          (InsNode (LNode D0 True) Empty))
 test = undefined

diff --git a/Types/Data/Graph/RootPath.hs b/Types/Data/Graph/RootPath.hs
index 753f331fc355a7b722718fd1b1594790fa38670a..f45788ad326bbe914137cf190908c3802d7b6a0f 100644 (file)
--- a/Types/Data/Graph/RootPath.hs
+++ b/Types/Data/Graph/RootPath.hs
@@ -1,6 +1,7 @@
 {-# LANGUAGE
   EmptyDataDecls,
   TypeFamilies,
+  TypeOperators,
   UndecidableInstances
   #-}
 module Types.Data.Graph.RootPath