[Bug 1705] [FS] technical: 5.2 Module Declaration: cyclical imports

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





------- Comment #41 from jmdyck@ibiblio.org  2006-11-10 21:22 -------
(In reply to comment #40)
> >
> > What did you have in mind for defining "gather function signatures"?
> 
> This is essentially the proposed resolution for #1743.

As it stands, the =>stat1 judgment in Bug #1743 puts imported variables and
functions in its output env (which made sense for 1743, but is not wanted
here), and also will fail in the presence of an import cycle. To fix both of
these problems, you need to modify the judgment so that it does minimal
processing of prolog decls:

-- For decls that introduce a namespace binding, just add that binding to
statEnv.namespace (or statEnv.default_elem_namespace).

-- For function decls, just construct the signature and add it to
statEnv.funcType. (This will consult the statEnv, but should only need the
namespace bindings from the previous point, to expand QNames.)

-- For all other decls, it's a pass-through.

Received on Friday, 10 November 2006 21:22:55 UTC