Skip to content
My Code, My RulesMy Code, My Rules

ALL-CONT0004 · evidence

This page continues ALL-CONT0004 directly from its source docstring. Read its implementation.

Evidence

Section titled “Evidence”

Each finding names the declaration and the deepest chain it holds, with the line each level opens on. The result is true for one declaration that nests too deeply.

Exceptions

Section titled “Exceptions”

Expression structure is not nesting, so a call inside a comparison inside an argument counts nothing, and only a construct opening a body is counted. An arm of a chained alternative is not a level either, since it closes where the branch it continues closes and is never written deeper than it. Traversal carries its own stack, so the interpreter’s recursion setting never becomes a private depth ceiling. A construct a frontend states without a span is measured as written, because nothing then locates it against what holds it. A declaration whose family was never asked for carries no tree and is not judged. body_kinds names the constructs that open a body, so a language whose block construct this list has not met is configured rather than reimplemented.

References

Section titled “References”