[Bug 6909] is a pre-lexical facet magic?

http://www.w3.org/Bugs/Public/show_bug.cgi?id=6909





--- Comment #3 from Dave Peterson <davep@iit.edu>  2009-07-20 14:43:37 ---
(In reply to comment #2)

During its telecon of 17 July, the WG noted that a pre-lexical facet could not
only either leave a candidate character string alone or lose it from the range
of the transformation it describes, it could also "scramble" the incoming
character strings so that while it changes string S to another string, it also
changes a different string to string S, so that string S is neither left alone
nor lost from the transformation range.  Such strings should not a priori be
removed from the lexical space.  Accordingly, I propose the following
amendment, which seems to be a minimal change that avoids this problem.  Only
the first ("new") paragraph above is amended:

> [new paragraph and changed Note:]
>   If a derivation introduces a ·pre-lexical· facet value (a new value
>   for whiteSpace or an implementation-defined ·pre-lexical· facet), the
>   corresponding ·pre-lexical· transformation of a character string, if
>   indeed it changed that string, would prevent that string from ever

Change "would" to "could".

>   having the ·lexical mapping· of the derived datatype applied to it.
>   Character strings that a ·pre-lexical· transformation would change

Change "would change" to "blocks in this way (i.e., they are not in the range
of the ·pre-ledxical· facet's transformation)".

>   are always dropped from the derived datatype's ·lexical space·.

These two changes seem to be the minimum needed.  This is a formal proposal to
the WG, but I invite alternative proposals.


-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Monday, 20 July 2009 14:43:49 UTC