Skip to content

EPA Some tweaks to annotations

Alan Zimmerman requested to merge wip/az/epa-annotations-tweaks into master

Some tweaks to exact print annotations

  • Fix span for GRHS
  • Move TrailingAnns from last match to the enclosing FunBind
  • Fix GADT where clause span
  • Capture full range for a CaseAlt Match

Merge request reports