W3C home > Mailing lists > Public > public-qt-comments@w3.org > November 2003

recursive imporged variable declarations

From: Per Bothner <per@bothner.com>
Date: Thu, 13 Nov 2003 19:56:10 -0800
Message-ID: <3FB4525A.3070701@bothner.com>
To: public-qt-comments@w3.org

Section 4.8 "Variable Declaration" of the XQuery November specification
says that:
   A variable may appear in the expression part of a variable declaration
   only if that variable is declared or imported earlier in the Prolog
   than the declaration in which it is used.
This is presumably to prevent indeterminacies and cycles.
However, section 4.7 "Module Import" says that:
   Two modules may import each other.

So is there anything to prohibit the following?

module namespace m1 = "M1";
import module namespace m2 = "M2";
declare variable $m1:v { $m2:v };

module namespace m2 = "M2";
import module namespace m1 = "M1";
declare variable $m2:v { $m1:v }
-- 
	--Per Bothner
per@bothner.com   http://per.bothner.com/
Received on Thursday, 13 November 2003 22:56:10 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:15 UTC