Re: segmentation fault writing cyclic term

[Paul Eggert]

On 12/9/21 23:49, Daniel Diaz wrote:
> Acyclic terms are not supported but the predicate acyclic_term/1 if provided to 
> test if a term is acyclic. You can use it before printing a term.
> The top-level does this before printing a solution (else it emits the error 
> message you mentioned).

This all sounds clear but unfortunately it is offputting to newcomers. 
Wouldn't it be better if write/1 also checked for cyclic terms?

Yes, that'd be more expensive but the expense would be worth it for the 
ordinary user. Perhaps there could be a way for an experienced user to 
turn it off in applications where write/1 performance is that much of an 
issue