Re: Literals: lexical spaces and value spaces

Patrick.Stickler@nokia.com wrote:

[...]


> 
> The reason why a range definition cannot be descriptive
> of non-locally typed literals, is because lexical form
> is specific to a given data type, and the binding of
> a value to a given property may occur by various means
> and one can end up with a literal value having a lexical
> form that is not compatible with the data type of the
> property.


Please can we have at least one concrete example, analysed for each of the three 
proposals S, P, X.

Brian