If I am writing a graph library I honestly do not know whether users of this 
library construct a tree, a DAG or a graph with cycles. I cannot reliably tag a 
general data type containing refs (or pointers) with `acyclic` pragma.\--Leo|   
---|---

Reply via email to