1718 2005-07-18 21:02:35 +0000 [FS] editorial: 5.14 Variable Declaration 2007-01-16 17:37:42 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Last Call drafts All All CLOSED FIXED P2 minor --- 1 jmdyck simeon public-qt-comments oldest_to_newest 4829 0 jmdyck 2005-07-18 21:02:35 +0000 5.14 Variable Declaration Norm "normalizes the variable and its corresponding expression," Change to "normalizes its initializing expression". (Norm completeness) Missing the case where a non-external variable is declared without a type declaration. SCP / rule 2 For the case of an external variable, it should be unnecessary to augment the statEnv, because statEnvDefault will have already provided a type for the variable. (Similar to DCP / rule 2.) DCP / rule 1 / conclusion "(:= Expr | external)" Change to ":= Expr". (DCP completeness) Again, missing the case of a non-external variable with a type decl. 9127 1 simeon 2006-04-10 21:57:01 +0000 #1 Fixed as suggested. #2 Added the corresponding rule. #3 left as is. The type for the external variable may not be in the external context. in case of an explicit type assertion it is used in the static context. #4 Fixed as suggested. #5 Added the corresponding rule. - Jerome 9146 2 jmdyck 2006-04-11 18:46:18 +0000 I just noticed there was a typo in my original comment. Under "(DCP completeness)", it should say that the case of a non-external variable *without* a type decl isn't covered. You presumably figured that out.