bug-prolog
[Top][All Lists]
Advanced

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

Re: segmentation fault writing cyclic term


From: Paul Eggert
Subject: Re: segmentation fault writing cyclic term
Date: Fri, 10 Dec 2021 13:22:24 -0800
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.3.0

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



reply via email to

[Prev in Thread] Current Thread [Next in Thread]