From d6cab570487003dcdb3bcfb207fe9f9afd9b478b Mon Sep 17 00:00:00 2001 From: Pascal Rigaux Date: Tue, 12 Nov 2002 14:07:28 +0000 Subject: *** empty log message *** --- perl_checker.src/info.ml | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'perl_checker.src/info.ml') diff --git a/perl_checker.src/info.ml b/perl_checker.src/info.ml index 8e27bd3..3d68439 100644 --- a/perl_checker.src/info.ml +++ b/perl_checker.src/info.ml @@ -14,17 +14,19 @@ let start_a_new_file file = let raw_pos2raw_line file a = let starts = map_index (fun a b -> a,b) (rev !(assoc file !lines_starts)) in - let ((offset, line), _) = find (fun (_,(e,_)) -> e > a) (combine starts (tl starts @ [99999, 99999])) in + let ((offset, line), _) = find (fun (_,(e,_)) -> e > a) (combine starts (tl starts @ [999999999, 999999999])) in line, offset let pos2line (file, a, b) = let line, offset = raw_pos2raw_line file a in - file, line, a - offset, b - offset + file, line, a - offset + 1, b - offset + 1 + +let pos2s (file, a, b) = sprintf "(%s, %d, %d)" file a b let pos2sfull pos = try let (file, line, n1,n2) = pos2line pos in sprintf "File \"%s\", line %d, character %d-%d\n" file (line + 1) n1 n2 - with Not_found -> "" + with Not_found -> failwith ("bad position " ^ pos2s pos) let pos2sfull_current a b = pos2sfull (!current_file, a, b) -- cgit v1.2.1