From: PHO <pho@cielonegro.org>
Date: Mon, 26 Apr 2010 13:36:10 +0000 (+0900)
Subject: Am I going the wrong way...?
X-Git-Url: https://git.cielonegro.org/gitweb.cgi?a=commitdiff_plain;h=3dfbcb787a2770ce2d73a44aa2a10058023b8123;p=hs-rrdtool.git

Am I going the wrong way...?
---

diff --git a/Types/Data/Graph.hs b/Types/Data/Graph.hs
index 9c5e65e..3e551bc 100644
--- 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 e25aaa0..5ae80f4 100644
--- 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 753f331..f45788a 100644
--- 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