typing base ^^ exp

[Andrei Alexandrescu]

BCS wrote:
> Hello Andrei,
> 
>> The type of  the power expression is: @uint@ if  both @base@ and @exp@
>> have unsigned  types less  than @ulong@; @int@  if @base@ is  a signed
>> integer  less than  @long@ and  @exp@ is  an unsigned  type  less than
>> @ulong@; @ulong@ if  both @base@ and @exp@ have  unsigned types and at
>> least  one is  @ulong@; @long@  if @base@  is @long@  and @exp@  is an
>> unsigned  type; and @double@  for all  other combinations  of integral
>> @base@ and @exp at . If at least one of the operands has a floating point
>> type,  the result  type is  the largest  participating  floating point
>> type.
>> ====
>> Makes sense?
>>
> 
> It might if my brain was willing to parse out the @'s :)

Word. I'm looking at 460 pages worth of those.

Andrei