You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
If you apply depthNumbering starting from a root vertex that is not in the graph, you get the error:
Data.Graph.Wrapper.fromList: one of the edges of a vertex pointed to a vertex that was not supplied in the input
This suggests that the problem is fromList. However, the problem is really caused by a call to indexGVertex in depthNumbering. fromList has nothing to do with the problem.
I'm not sure what the ideal resolution is... at the least, it might be good to not mention fromList in the error message.
The text was updated successfully, but these errors were encountered:
If you apply
depthNumbering
starting from a root vertex that is not in the graph, you get the error:Data.Graph.Wrapper.fromList: one of the edges of a vertex pointed to a vertex that was not supplied in the input
This suggests that the problem is fromList. However, the problem is really caused by a call to
indexGVertex
indepthNumbering
.fromList
has nothing to do with the problem.I'm not sure what the ideal resolution is... at the least, it might be good to not mention fromList in the error message.
The text was updated successfully, but these errors were encountered: