Diagnostic span labels break too early if they span multiple lines

Open mark-koch opened this issue 1 year ago • 1 comments

This is because textwrap.wrap takes the prefix indentation into account when deciding where to put linebreaks...

See e.g. https://github.com/CQCL/guppylang/pull/601/files#r1820535178

Oct 29 '24 10:10 mark-koch

Also related to #556

Oct 29 '24 12:10 mark-koch

Fixed by #933

Jun 03 '25 12:06 mark-koch