Skip to content

check-api-annotations checks for annotation preceding its span

Alan Zimmerman requested to merge wip/T16217 into master

For an API annotation to be useful, it must not occur before the span it is enclosed in.

So, for check-api-annotation output, a line such as

((Test16212.hs:3:22-36,AnnOpenP), [Test16212.hs:3:21]),

should be flagged as an error, as the AnnOpenP location of 3:21 precedes its enclosing span of 3:22-26.

This patch does this.

Closes Trac #16217 (closed)

Merge request reports