From: Leo F. <leo...@ne...> - 2012-01-17 16:08:07
|
Hi, We are trying to solve the problem (e.g., stack overflow) involving cyclic parents of sections. The error occurs when calculating the latex markup function of parents during parsing. Our change/solution avoids the error, and enables sections with cyclic parents to be parsed. Next, the typechecker ensures that the cycle is an error (e.g., note 1, p. 5, 13.2.2.1). So the question is, should the error be flagged by the parser or the typechecker? Looking at the standard, this we couldn't find where it would be. At the moment, we have it at the typechecker. Comments? Leo & Andrius |