Skip to content
  • Alan Zimmerman's avatar
    check-api-annotations checks for annotation preceding its span · 3cf12e60
    Alan Zimmerman authored and Ben Gamari's avatar Ben Gamari committed
    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 #16217
    3cf12e60