RE: Literals: lexical spaces and value spaces

Greetings. You again used the term 'prescriptive':

>ASSERTION:
>   Range definitions are *only* prescriptive, and *only* when
>   local type is defined for values. Any assignment of type
>   for a value must be made locally for each occurrence of the
>   value.

Can you say what this means? I am not able to follow what it is you 
have in mind.

Pat
-- 
---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
phayes@ai.uwf.edu 
http://www.coginst.uwf.edu/~phayes

Received on Wednesday, 7 November 2001 11:41:48 UTC