[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

re: cyclic



`cyclic' does allow the creation of cyclic data structures.
the only subtle point is that it refers to the results of a static analysis
(ie, the ref is only potentially cyclic -- it needn't be at run time, as in
an acyclic graph).
in the absence of `cyclic' the compiler will statically diagnose any
assignment
that could lead to a cyclic structure at run time (based on the results of
a static analysis).