1964 2005-09-02 00:24:51 +0000 [FS] technical: 5.14 Variable Declaration: missing type-check 2005-09-27 08:31:23 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Last Call drafts All All CLOSED FIXED P2 normal --- 1 jmdyck simeon public-qt-comments oldest_to_newest 5681 0 jmdyck 2005-09-02 00:24:51 +0000 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. 5722 1 simeon 2005-09-06 15:36:36 +0000 Yes! I thought I remember it was the way it was done. That's a good catch. We should have the following two rules: statEnv |- VarRef of var expands to Variable statEnv |- Type = [SequenceType]sequencetype statEnv1 = statEnv + varType( Variable => Type) --------------------------------------------------------------------------- statEnv |- declare variable VarRef as SequenceType external =>stat statEnv2 statEnv |- VarRef of var expands to Variable statEnv |- Type = [SequenceType]sequencetype statEnv |- Expr : Type2 statEnv |- Type2 <: Type statEnv1 = statEnv + varType( Variable => Type) -------------------------------------------------------------------------- statEnv |- declare variable VarRef as SequenceType := Expr =>stat statEnv2 - Jerome 6474 2 simeon 2005-09-27 08:31:08 +0000 The XSLT and XML Query Working Groups have accepted your comment and the proposed resolution. Best, - Jerome