pattern and union types

Is it clear what string the pattern facet of a union type applies to?

Seems to me it should be the lexical space value of the winning type
in the union, i.e. when processing an item with a union type, we go
directly to the member type definitions, and for each one in turn:

 1) normalize per the whiteSpace facet _of that member type defn_;
 2) check the pattern facet of the union type itself;
 3) check the pattern facet of the member type defn;
 4) convert to value and check other facets from the member type defn.

If any of (2), (3) or (4) fail, go on to the next member type defn.

I don't think the REC as it currently stands makes clear that this is
what happens, or that it doesn't, but I'm tired and could be missing
something.

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, 19 November 2002 17:30:22 UTC