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

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





------- Comment #25 from simeon@us.ibm.com  2006-10-27 21:38 -------
Michael, let me try.

The issue is to specify which context for which variable. Static typing takes
the static context into account. The static context must verify the following
conditions:

(1) the static context for a variable must be based on the local static context
for that module. This is based on the syntactic location in a given module and
therefor the static context should be different for variables in different
modules.

(2) the static context must contain the static type for the previous variables,
"previous" here is is based on a reordering which is global to *all* the
modules in the same namespace.

I don't know how to reconcile those two conditions. It seems the type
information for variables and the rest of the static context have to be
propagated completely differently. There might be a simple fix, but I can't see
it. The complex fix that comes to mind is to split the context at a finer
grained throughout the whole spec!

Hope that is helpful,
- Jerome

Received on Friday, 27 October 2006 21:38:28 UTC