jon.recoil.org / odoc
this repo has no description
1
fork

Configure Feed

Select the types of activity you want to include in your feed.

fix: correct pos_of_loc end position in source annotations

The loc_end field was incorrectly using loc_start values for both
pos_cnum and pos_lnum, making all annotations zero-width spans.
Fix to use the actual loc_end values so annotations represent
the full span of the referenced item.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Jon Ludlam's Agent a5beb2d8 5fe177e2

+2 -2
+2 -2
src/loader/implementation.cppo.ml
··· 14 14 pos_lnum = loc.loc_start.pos_lnum 15 15 } ; 16 16 loc_end = { 17 - pos_cnum = loc.loc_start.pos_cnum ; 18 - pos_lnum = loc.loc_start.pos_lnum 17 + pos_cnum = loc.loc_end.pos_cnum ; 18 + pos_lnum = loc.loc_end.pos_lnum 19 19 } 20 20 } 21 21