Issue 16438: Derivation of the Type of a ConditionalTestExpression (alf-rtf)
Source: Ivar Jacobson International AB (Mr. Ed Seidewitz, eseidewitz(at)ivarjacobson.com)
Nature: Uncategorized Issue
Severity: 
Summary: Subclause: 13.2.13 ConditionalTestExpression

The derivation for the type of a ConditionalTestExpression should account for the case in which one of the result operands is empty, in which case the type of the conditional test expression should be the type of the other expression

Resolution: The FTF agrees that this is an issue worth considering, but, due to lack of time, decided to defer its resolution to a future RTF working on this specification.
Revised Text: None
Disposition:	Deferred

Revised Text: 
Actions taken:
July 29, 2011: received issue
October 5, 2012: deferred
Discussion: 

End of Annotations:=====
s is issue # 16438

Derivation of the Type of a ConditionalTestExpression

Subclause: 13.2.13 ConditionalTestExpression

The derivation for the type of a ConditionalTestExpression should account for the case in which one of the result operands is empty, in which case the type of the conditional test expression should be the type of the other expression