- From: Per Bothner <per@bothner.com>
- Date: Sun, 29 Feb 2004 14:55:20 -0800
- To: public-qt-comments@w3.org
- Cc: mff@research.att.com
In 5.8 Schema Import / Static Context Processing: This rule looks strange: statEnv |- Definition* =>type statEnv1 statEnv1 |- Definition1 =>type statEnv2 --------------------------------------- Definition1 Definition* =>type statEnv2 Should the conclusion be: statEnv |- Definition* Definition1 =>type statEnv2 I.e. add the statEnv context, and swap Definition1 Definition*. -- --Per Bothner per@bothner.com http://per.bothner.com/
Received on Sunday, 29 February 2004 17:55:23 UTC