Re: Ann: SWI-Prolog 7.1.1

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