- 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