On Fri, 12 Oct 2018, Sven Barth via fpc-devel wrote:

On 10/12/18 7:21 PM, Dmitry Boyarintsev wrote:
On Fri, Oct 12, 2018 at 1:07 PM Sven Barth via fpc-devel
<fpc-devel@lists.freepascal.org <mailto:fpc-devel@lists.freepascal.org>>
wrote:

    Dmitry Boyarintsev <skalogryz.li...@gmail.com
    <mailto:skalogryz.li...@gmail.com>> schrieb am Fr., 12. Okt. 2018,
    17:26:

        Maybe "Boolean8"  type should help instead? 
        David, could you please test with Boolean8 instead of ByteBool?


    Boolean8 is an alias to Boolean. But if you need to work with 1 and
    0, but have 4 Byte width then you could try Boolean32. 


Hmm, this is odd.
https://www.freepascal.org/docs-html/ref/refsu4.html
Boolean8, size=1, ord=1 
"In addition to the simple Boolean type, the additional Boolean8,
Boolean16, Boolean32 and Boolean64 types exist. There are in fact
integer types, which are assignment-compatible with the simple boolean
type. As an integer, the values for True and False are 1 and 0. This can
be used to interfac with C code that defines a boolean of this size with
values 0 and 1."

Boolean8 is not exactly an alias to Boolean, as it's expected to act as
an integer, rather than _Bool. (and would be expected? to be passed an
integer).
However, fpc 3.0.4 doesn't have Boolean8 as builtin type. Instead it
provides Boolean16+ only.  Maybe it's available in trunk only.

All the Pascal Boolean types are not "Integer types". You can't assign
any of them to a Integer or whatever without typecasting. They *all*
behave like Boolean, because that was the way they were added. They are
all 1-bit zero extended to the specified size. Look at the compiler
sources, they are all implemented as pasboolSIZE, including Boolean. The
documentation simply is *wrong* here.

What exactly is wrong ?

boolean8 has been removed from the docs some time ago after a bugreport. It should be online for 3.2

The statement about ord(true) being 1 is correct.

home:~/docs> fpc b1.pp
home:~/docs> ./b1
1
home:~/docs> cat b1.pp
var
  B16 : Boolean16;

begin
  B16:=True;
  Writeln(ord(B16));
end.

So what is still wrong ?

Michael.
_______________________________________________
fpc-devel maillist  -  fpc-devel@lists.freepascal.org
http://lists.freepascal.org/cgi-bin/mailman/listinfo/fpc-devel

Reply via email to