|
| From: | Paul Singleton |
| Subject: | Re: [Info-gnuprologjava] gnuprologjava patch: fixes for is_list |
| Date: | Tue, 08 May 2012 19:31:00 +0100 |
| User-agent: | Mozilla/5.0 (Windows NT 5.1; rv:12.0) Gecko/20120428 Thunderbird/12.0.1 |
On 07/05/2012 22:22, Michiel Hendriks wrote:
Small note to the patch, use TermConstants.emptyListAtom.equals(lst) rather than the instance check.
Is that just good practice, or is there some way we could get two distinct instances of the "empty list" atom? AtomTerm seems designed to ensure that never happens, but maybe we shouldn't rely on it...
Regards Paul Singleton
| [Prev in Thread] | Current Thread | [Next in Thread] |