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

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





------- Comment #26 from jmdyck@ibiblio.org  2006-10-27 22:07 -------
Problem with =>prestat: if the prolog contains a VarDecl (or FuncDecl) that
contains a function call, then =>prestat depends on [VarDecl]_PrologDecl (or
[FuncDecl]_PrologDecl), which depends on [FunctionCall]_Expr, which needs:
-- a statEnv.funcType with entries for all functions visible at that point
(i.e., all functions declared in or imported by the prolog), and also
-- a statEnv.typeDefn with entries for all atomic types visible at that point.

But in the statEnv that =>prestat hands down to []_PrologDecl, the funcType and
typeDefn components will only have entries from statEnvDefault, so
normalization of the function call will fail, in general.

It would probably help to rewrite the rules for FunctionCall so that its
normalization required little if anything from the statEnv.

Received on Friday, 27 October 2006 22:07:37 UTC