[Aldor-l] Booleans

[Pippijn van Steenhoven]

Hi,

there is a potential bug in the constant folding optimiser that causes
the following boolean expression:

  true /\ false,

which would obviously be false, to be transformed into true. The reason
is that the binary Bool$Machine operations use only first argument for
both operands. I fixed this, but I was wondering why it never manifested
itself. Apparently, "true /\ false" is actually a SInt expression, not a
Bool one. Why is this? From axllib, it looks like Boolean's
representation is actually a Bool. Maybe this is the result of another
optimiser? Maybe retyping? Can anyone explain?

-- 
Pippijn van Steenhoven
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 197 bytes
Desc: Digital signature
URL: <http://aldor.org/pipermail/aldor-l_aldor.org/attachments/20090911/ef7bd87f/attachment.bin>