Topological sort: Difference between revisions

Content added Content deleted
Line 1,020: Line 1,020:
val () = assertloc (isneqz path)
val () = assertloc (isneqz path)
in
in
Topo_CYCLE (list_vt2t (reverse path))
Topo_CYCLE path
end
end
else
else
Line 1,176: Line 1,176:
Data from standard output:
Data from standard output:
<pre>
<pre>
COMPILATION CYCLE: b, d, e, a, b
COMPILATION CYCLE: a, e, d, b, a
</pre>
</pre>