Topological sort compiles.