File tree Expand file tree Collapse file tree 1 file changed +8
-0
lines changed Expand file tree Collapse file tree 1 file changed +8
-0
lines changed Original file line number Diff line number Diff line change @@ -6,6 +6,14 @@ let maybeLog m = if !debugReferences then Log.log ("[ref] " ^ m)
6
6
7
7
let checkPos (line , char )
8
8
{Location. loc_start = {pos_lnum; pos_bol; pos_cnum} ; loc_end} =
9
+ print_endline " References.checkPos loc_start pos_lnum, pos_bol, pos_cnum:" ;
10
+ print_endline (string_of_int pos_lnum);
11
+ print_endline (string_of_int pos_bol);
12
+ print_endline (string_of_int pos_cnum);
13
+ print_endline " References.checkPos loc_end pos_lnum, pos_bol, pos_cnum:" ;
14
+ print_endline (string_of_int loc_end.pos_lnum);
15
+ print_endline (string_of_int loc_end.pos_bol);
16
+ print_endline (string_of_int loc_end.pos_cnum);
9
17
if line < pos_lnum || (line = pos_lnum && char < pos_cnum - pos_bol) then
10
18
false
11
19
else if
You can’t perform that action at this time.
0 commit comments