@@ -34,12 +34,6 @@ debugPropagate :: Bool
35debugInvalidateHeight :: Bool
35debugInvalidateHeight :: Bool
37−class HasNodeId a where
38− getNodeId :: a -> Int
40−showNodeId :: HasNodeId a => a -> String
41−showNodeId = ("#"<>) . show . getNodeId
43#ifdef DEBUG
37#ifdef DEBUG
45#define DEBUG_NODEIDS
39#define DEBUG_NODEIDS
@@ -48,6 +42,9 @@ debugPropagate = True
49debugInvalidateHeight = True
43debugInvalidateHeight = True
45+class HasNodeId a where
46+ getNodeId :: a -> Int
51instance HasNodeId (Hold a) where
48instance HasNodeId (Hold a) where
52 getNodeId = holdNodeId
49 getNodeId = holdNodeId
@@ -66,14 +63,20 @@ instance HasNodeId (FanSubscribed a) where
66instance HasNodeId (CoincidenceSubscribed a) where
63instance HasNodeId (CoincidenceSubscribed a) where
67 getNodeId = coincidenceSubscribedNodeId
64 getNodeId = coincidenceSubscribedNodeId
66+instance HasNodeId (RootSubscribed a) where
67+ getNodeId = rootSubscribedNodeId
69+showNodeId :: HasNodeId a => a -> String
70+showNodeId = ("#"<>) . show . getNodeId
71debugPropagate = False
74debugPropagate = False
73debugInvalidateHeight = False
76debugInvalidateHeight = False
75−instance HasNodeId a where
78+showNodeId :: a -> String
76− getNodeId = const ""
79+showNodeId = const ""