Am I going the wrong way...?

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

diff --git a/Types/Data/Graph/Dijkstra.hs b/Types/Data/Graph/Dijkstra.hs
index e25aaa00d6f648fc7ad0faa5d18c2c35f395221e..5ae80f4eb96c2cc08b93d1f78619505944fb6255 100644 (file)
--- 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