1 matches bool, 2 matches long

[Mehrdad]

On Sunday, 28 April 2013 at 23:11:50 UTC, Timon Gehr wrote:
> On 04/29/2013 12:51 AM, Mehrdad wrote:
>> On Sunday, 28 April 2013 at 22:25:43 UTC, Timon Gehr wrote:
>>> On 04/28/2013 11:51 PM, Mehrdad wrote:
>>>> On Sunday, 28 April 2013 at 21:29:06 UTC, Timon Gehr wrote:
>>>>> On 04/28/2013 10:54 PM, Mehrdad wrote:
>>>>>> Isn't that self-contradictory?
>>>>
>>>>> He is saying bool is an integral type in D. (i.e. it can be 
>>>>> promoted
>>>>> to 'int' in order to support integer arithmetic.)
>>>>
>>>> I thought we just established that boolean logic isn't 
>>>> integer logic?
>>>
>>> Please make sure your statements make sense.
>>
>>
>> Huh?
>>
>> Walter says bool is an integer,
>
> Certainly not. bool is a type. 2 is an integer.

Sheesh, s/bool/a bool/.


> He says that bool is an integral type (which has a very 
> specific meaning, lined out above.)

o__O why would he waste time commenting on how D _behaves_?
Isn't the whole point of the discussion to figure out how D 
_should_ behave?


It's not like we haven't understood what the compiler is doing!


> Eg. "integer logic".

Integer logic: 1 + 1 = 2 = 0 (mod 2)
Boolean logic: 1 + 1 = 1 = 1