Issue 16430: Allow Expressions to Just Conform to Primitive Types (alf-rtf)
Source: Ivar Jacobson International AB (Mr. Ed Seidewitz, eseidewitz(at)ivarjacobson.com)
Nature: Uncategorized Issue
Severity: 
Summary: Clause: 13 Expression Abstract Syntax

In general, constraints for expressions to be of a certain standard primitive type should, instead, allow them to be of a type that conforms to the required type. This allows for user-defined primitive types that are subtypes of the standard types

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 # 16430

Allow Expressions to Just Conform to Primitive Types

Clause: 13 Expression Abstract Syntax

In general, constraints for expressions to be of a certain standard primitive type should, instead, allow them to be of a type that conforms to the required type. This allows for user-defined primitive types that are subtypes of the standard types