[FS] errors in 5.11 Variable Declaration

• From: Per Bothner <per@bothner.com>
• Date: Sun, 29 Feb 2004 15:31:59 -0800
• To: public-qt-comments@w3.org
• Cc: mff@research.att.com
• Message-ID: <4042766F.3020700@bothner.com>

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 UTC