- From: <bugzilla@wiggum.w3.org>
- Date: Wed, 03 May 2006 17:38:08 +0000
- To: public-qt-comments@w3.org
- CC:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=3181
Summary: [FS] editorial: 4 Expressions
Product: XPath / XQuery / XSLT
Version: Candidate Recommendation
Platform: All
OS/Version: All
Status: NEW
Severity: minor
Priority: P2
Component: Formal Semantics
AssignedTo: simeon@us.ibm.com
ReportedBy: jmdyck@ibiblio.org
QAContact: public-qt-comments@w3.org
4 Expressions
STA / rule 1 / premise 2
Type <: empty
A subtype judgment requires a statEnv.
(On the other hand, does it have to be "<:"? Couldn't it just be "="?)
Received on Wednesday, 3 May 2006 17:38:18 UTC