From 3dfbcb787a2770ce2d73a44aa2a10058023b8123 Mon Sep 17 00:00:00 2001 From: PHO Date: Mon, 26 Apr 2010 22:36:10 +0900 Subject: [PATCH] Am I going the wrong way...? --- Types/Data/Graph.hs | 2 +- Types/Data/Graph/Dijkstra.hs | 4 +++- Types/Data/Graph/RootPath.hs | 1 + 3 files changed, 5 insertions(+), 2 deletions(-) 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 -- 2.40.0