[fpc-pascal] set addition bug?

[Adam Naumowicz]

On Tue, 12 Feb 2008, Peter Vreman wrote:

>>> Fixed in 2.3.1 in r10311.
>> 
>> Thanks a lot for your quick response. Surely it solves the problem with 
>> empty set as the second parameter. But I'm not sure if the other code I 
>> sent later would also be fixed? - apparently that one had incorrect 
>> valuation when tested with official 2.2.0 for Win32 - and there the second 
>> argument was nonempty.
>> 
>> What do you think?
>
> The other code with "writeln( a in (FrmElKinds + TermElKinds));" doesn't fail 
> for me with neither 2.2.0 or 2.3.1 or an old 2.0.2.

Now I see the problem - I didn't notice that the Delphi compatibility flag 
is also crucial here:

C:\adam\internal\kernel>c:\fpc\2.2.0\bin\i386-win32\ppc386 -Sd tester.pas
Free Pascal Compiler version 2.2.0 [2007/09/09] for i386
Copyright (c) 1993-2007 by Florian Klaempfl
Target OS: Win32 for i386
Compiling tester.pas
Linking tester.exe
58 lines compiled, 0.8 sec, 23760 bytes code, 1272 bytes data

C:\adam\internal\kernel>tester
FALSE

C:\adam\internal\kernel>c:\fpc\2.2.0\bin\i386-win32\ppc386  tester.pas
Free Pascal Compiler version 2.2.0 [2007/09/09] for i386
Copyright (c) 1993-2007 by Florian Klaempfl
Target OS: Win32 for i386
Compiling tester.pas
Linking tester.exe
58 lines compiled, 0.9 sec, 23632 bytes code, 1208 bytes data

C:\adam\internal\kernel>tester
TRUE

Best,

Adam

======================================================================
Department of Applied Logic            fax. +48 (85) 745-7662
Institute of Computer Science          tel. +48 (85) 745-7559 (office)
University of Bialystok                e-mail: adamn at mizar.org
Sosnowa 64, 15-887 Bialystok, Poland   http://math.uwb.edu.pl/~adamn/
======================================================================