From 2934589777d6fbdaca209613d3d596b2d022ddc3 Mon Sep 17 00:00:00 2001
From: PHO <pho@cielonegro.org>
Date: Mon, 26 Apr 2010 23:11:50 +0900
Subject: [PATCH] slight improvement...?
---
Types/Data/Graph.hs | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/Types/Data/Graph.hs b/Types/Data/Graph.hs
index 3e551bc..2e130b3 100644
--- a/Types/Data/Graph.hs
+++ b/Types/Data/Graph.hs
@@ -101,11 +101,11 @@ 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
--
2.40.0