- From: Jeremy Carroll <jjc@hpl.hp.com>
- Date: Tue, 11 Nov 2003 23:44:50 +0100
- To: xml-names-editor@w3.org
I expect you are aware that the latest IRI draft is:
http://www.w3.org/International/iri-edit/draft-duerst-iri-05.txt
which differs substantively from the one you reference viz:
[[
Infrastructure accepting IRIs MAY also deal with the printable
characters in US-ASCII that are not allowed in URIs, namely "<", ">",
'"', Space, "{", "}", "|", "\", "^", and "`", in step 3) above. If
such characters are found but are not converted, then the conversion
SHOULD fail. Please note that the number sign ("#"), the percent
sign ("%"), and the square bracket characters ("[", "]") are not part
of the above list, and MUST NOT be converted. Protocols and formats
that have used earlier definitions of IRIs including these characters
MAY require unescaping of these characters as a preprocessing step to
extract the actual IRI from a given field. Such preprocessing MAY
also be used by applications allowing the user to enter an IRI.
]]
somewhat cryptic?
I think it means that space isn't allowed anymore.
This comment is a suggestion that the reference to the IRI draft from
http://www.w3.org/TR/2003/PR-xml-names11-20031105/
be updated, and drawing your attention to the question of whether to make
other consequential changes
I do not desire any formal reply. i.e. I am satisfied with any disposition
towards this comment.
Jeremy
Received on Tuesday, 11 November 2003 17:45:18 UTC