X-Git-Url: https://git.cielonegro.org/gitweb.cgi?a=blobdiff_plain;f=Types%2FData%2FGraph%2FDijkstra.hs;h=5ae80f4eb96c2cc08b93d1f78619505944fb6255;hb=3dfbcb787a2770ce2d73a44aa2a10058023b8123;hp=e25aaa00d6f648fc7ad0faa5d18c2c35f395221e;hpb=4ab5e37719b3dc47ede5055a18be4eb544c21b40;p=hs-rrdtool.git

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