- From: <bugzilla@wiggum.w3.org>
- Date: Tue, 14 Oct 2008 00:02:59 +0000
- To: public-qt-comments@w3.org
http://www.w3.org/Bugs/Public/show_bug.cgi?id=6160
--- Comment #1 from Michael Dyck <jmdyck@ibiblio.org> 2008-10-14 00:02:58 ---
I propose to replace the rules in 7.1.1 / STA with the following rules.
(Note that the second through fifth are minor reworkings of the existing
four rules.)
statEnv |- Type0 <: xs:anyAtomicType?
statEnv |- TypeE <: xs:anyAtomicType
prime(Type0) = AtomicTypeName1 | ... | AtomicTypeNameN
statEnv |- convert_operand AtomicTypeName1 against TypeE is AtomicTypeName1'
...
statEnv |- convert_operand AtomicTypeNameN against TypeE is AtomicTypeNameN'
AtomicTypeName1' | ... | AtomicTypeNameN' = TypeR
-----------------------------------------------------
statEnv |- (FS-URI,"convert-operand")(Type0, TypeE) :
TypeR . quantifier(Type0)
statEnv |- not(AtomicTypeName <: xs:untypedAtomic)
-------------------------------------------------------
statEnv |- convert_operand AtomicTypeName against TypeE is AtomicTypeName
statEnv |- AtomicTypeName <: xs:untypedAtomic
statEnv |- TypeE <: xs:untypedAtomic | xs:string
-------------------------------------------------------
statEnv |- convert_operand AtomicTypeName against TypeE is xs:string
statEnv |- AtomicTypeName <: xs:untypedAtomic
statEnv |- TypeE <: fs:numeric
-------------------------------------------------------
statEnv |- convert_operand AtomicTypeName against TypeE is xs:double
statEnv |- AtomicTypeName <: xs:untypedAtomic
statEnv |- not(TypeE <: xs:untypedAtomic | xs:string | fs:numeric)
-------------------------------------------------------
statEnv |- convert_operand AtomicTypeName against TypeE is TypeE
--
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 Tuesday, 14 October 2008 00:03:08 UTC