Re: [CZT-Devel] cycles in section parents: parsing or typing error?

[Tim M. <tm...@un...>]

It definitely belongs in the typechecker. There is a note in the 
"inheriting section" section of the Z standard that says:

"NOTE 1 Ancestors need not be immediate parents, and a section cannot be 
amongst its own ancestors (no cycles in the parent relation)."

It is not part of the type rule though, so I must have missed it when I 
implemented the type rules.

Cheers,
Tim

On 18/01/12 07:06, Mark Utting wrote:
> Leo
>
> Doing it in the typechecker sounds best to me.
>
> 1. You might be able to give better error messages there.
> 2. It will/should work on unicode input, not just latex input.
>
> Cheers
> Mark
>
> On 18 January 2012 02:07, Leo Freitas <leo...@ne...
> <mailto:leo...@ne...>> wrote:
>
>     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
>     ------------------------------------------------------------------------------
>     Keep Your Developer Skills Current with LearnDevNow!
>     The most comprehensive online learning library for Microsoft developers
>     is just $99.99! Visual Studio, SharePoint, SQL - plus HTML5, CSS3, MVC3,
>     Metro Style Apps, more. Free future releases when you subscribe now!
>     http://p.sf.net/sfu/learndevnow-d2d
>     _______________________________________________
>     CZT-Devel mailing list
>     CZT...@li... <mailto:CZT...@li...>
>     https://lists.sourceforge.net/lists/listinfo/czt-devel
>
>
>
>
> ------------------------------------------------------------------------------
> Keep Your Developer Skills Current with LearnDevNow!
> The most comprehensive online learning library for Microsoft developers
> is just $99.99! Visual Studio, SharePoint, SQL - plus HTML5, CSS3, MVC3,
> Metro Style Apps, more. Free future releases when you subscribe now!
> http://p.sf.net/sfu/learndevnow-d2d
>
>
>
> _______________________________________________
> CZT-Devel mailing list
> CZT...@li...
> https://lists.sourceforge.net/lists/listinfo/czt-devel