Re: Ann: SWI-Prolog 7.1.1

Jan Wielemaker <[email protected]>
Newsgroups gmane.comp.ai.prolog.swi
Message-ID <[email protected]>
Hi Andreas,

I see.  The Windows version registers stuff before calling 
PL_initialise(), which causes the atom table to be build before
PL_initialise() and it is there were we need to make the switch.

I'll try to find a reasonable way around this.  If you want
--traditional anyway, you can also use version 6.6.0 :-)

	Cheers --- Jan

On 11/28/2013 04:33 PM, Andreas Becker wrote:
> Hi Jan,
>
> On 28.11.2013 15:24, Jan Wielemaker wrote:
>> Hi,
>>
>> I have uploaded SWI-Prolog 7.1.1. This release fixes a few
>> implementation issues and incorporates some changes resulting from the
>> discussions:
>>
>>    - Fixed --traditional ([] \== '[]' was still true with this flag)
>
> This is still not fixed in the Windows version (using a just downloaded
> installer):
>
> C:\Program Files\swipl\bin>swipl
> Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 7.1.1)
> Copyright (c) 1990-2013 University of Amsterdam, VU Amsterdam
> SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
> and you are welcome to redistribute it under certain conditions.
> Please visit http://www.swi-prolog.org for details.
>
> For help, use ?- help(Topic). or ?- apropos(Word).
>
> 1 ?- [] == '[]'.
> false.
>
> 2 ?- current_prolog_flag(double_quotes, V).
> V = string.
>
> 3 ?- halt.
>
> C:\Program Files\swipl\bin>swipl --traditional
> Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 7.1.1)
> Copyright (c) 1990-2013 University of Amsterdam, VU Amsterdam
> SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
> and you are welcome to redistribute it under certain conditions.
> Please visit http://www.swi-prolog.org for details.
>
> For help, use ?- help(Topic). or ?- apropos(Word).
>
> 1 ?- [] == '[]'.
> false.
>
> 2 ?- current_prolog_flag(double_quotes, V).
> V = codes.
>
>
> Cheers,
> Andreas
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.