facets/derivations from anySimpleType

There's a comment in the non-normative section 3.14.1 saying it
shouldn't be named as a base type in a user definition.

This is certainly wrong on one count -- it rules out defining a user-named
synonym for anySimpleType, which should be OK.

It's probably wrong on another count -- both whiteSpace and pattern
facets make sense as restrictions on aST, and the sForS actually gives 
whiteSpace facet values in all its pseudo-definitions of the builtin
in primitives.

So I think the comment should be changed to point out instead that only
those facets make sense, and a normative prohibition of any others
should be added to part 2.

ht
-- 
  Henry S. Thompson, HCRC Language Technology Group, University of Edinburgh
          W3C Fellow 1999--2002, part-time member of W3C Team
     2 Buccleuch Place, Edinburgh EH8 9LW, SCOTLAND -- (44) 131 650-4440
	    Fax: (44) 131 650-4587, e-mail: ht@cogsci.ed.ac.uk
		     URL: http://www.ltg.ed.ac.uk/~ht/
 [mail really from me _always_ has this .sig -- mail without it is forged spam]

Received on Tuesday, 11 June 2002 06:27:31 UTC