[Bug 3842] [XQuery] 4.14 Variable Declaration: circularity

http://www.w3.org/Bugs/Public/show_bug.cgi?id=3842


jmdyck@ibiblio.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|FIXED                       |




------- Comment #2 from jmdyck@ibiblio.org  2006-10-18 05:08 -------
That certainly goes a long way toward addressing my issue, but I think there's
still some uncertainty left. Consider:

    declare variable $x = f();
    declare function f()
    {
        let $x := 42 return $x
    };

$x depends on f(), and f() depends on $x, so $x would appear to depend on
itself, except that the two $x's aren't really the same variable. Or are they?

Similarly:

    declare variable $x = f(42);
    declare function f($x)
    {
        $x
    };

Received on Wednesday, 18 October 2006 05:08:19 UTC