- From: <bugzilla@wiggum.w3.org>
- Date: Fri, 02 Sep 2005 00:24:51 +0000
- To: public-qt-comments@w3.org
- Cc:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=1964
Summary: [FS] technical: 5.14 Variable Declaration: missing type-
check
Product: XPath / XQuery / XSLT
Version: Last Call drafts
Platform: All
OS/Version: All
Status: NEW
Severity: normal
Priority: P2
Component: Formal Semantics
AssignedTo: simeon@us.ibm.com
ReportedBy: jmdyck@ibiblio.org
QAContact: public-qt-comments@w3.org
5.14 Variable Declaration
SCP / rule 2
XQuery 4.14 says "If a variable declaration includes both a type and
an expression, the value returned by the expression must match the
declared type...". Thus, this rule should have something like
statEnv |- Expr : Type2
Type2 <: Type
This will presumably involve splitting the rule into two, since the
conclusion's "(:= Expr | external)" doesn't always provide a binding
for Expr.
Received on Friday, 2 September 2005 00:24:53 UTC