5.11 Variable Declaration / Static Context Processing statEnv |- declare variable VarRef as SequenceType ({ Expr } | external) =>stat statEnv2 "statEnv2" should be "statEnv1" 5.11 Variable Declaration / Dynamic Context Processing In both rules "=>stat" should be "=>dyn". 5.11 Variable Declaration / Dynamic Context Processing The conclusion of the first rule contains "({ Expr } | external)" but it should just be "{Expr}" as the "external" case is handled in the next rule. -- --Per Bothner per@bothner.com http://per.bothner.com/Received on Sunday, 29 February 2004 18:32:02 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:14:06 GMT