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
