This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
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.
#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
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.