From 2934589777d6fbdaca209613d3d596b2d022ddc3 Mon Sep 17 00:00:00 2001 From: PHO 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