slight improvement...?

[hs-rrdtool.git] / Types / Data / Graph.hs

diff --git a/Types/Data/Graph.hs b/Types/Data/Graph.hs
index 9c5e65e576d0310abd3d51173b91da0c546c1c49..2e130b3343f6ba91c21f81f8f9acdc80265992dd 100644 (file)
--- a/Types/Data/Graph.hs
+++ b/Types/Data/Graph.hs
@@ -101,15 +101,15 @@ type instance L.App (AddPred'' n l) (Context ps n' l' ss)
 
 -- Match
 type family   Match node g
-type instance Match node (Graph g) = Match' (M.Lookup node g) node (Graph g)
+type instance Match node (Graph g) = Match' (M.Lookup node g) node g
 
 type family   Match' mContext node g
-type instance Match' Nothing                          node g = Decomp Nothing g
-type instance Match' (Just (Context p node' label s)) node (Graph g)
+type instance Match' Nothing  node g = Decomp Nothing (Graph g)
+type instance Match' (Just (Context p node' label s)) node 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)))