From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 1 Feb 2005 10:05:14 +0000 (+0000)
Subject: cosmetic fix to pp_location
X-Git-Tag: V_0_1_0~81
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=51d9b14ac63f4d4f045772ccd006b49e87d8f4bc;p=helm.git

cosmetic fix to pp_location
---

diff --git a/helm/ocaml/cic_transformations/cicAst.ml b/helm/ocaml/cic_transformations/cicAst.ml
index 9abd07a75..ca4856786 100644
--- a/helm/ocaml/cic_transformations/cicAst.ml
+++ b/helm/ocaml/cic_transformations/cicAst.ml
@@ -28,11 +28,13 @@ open Printf
 type location = Lexing.position * Lexing.position
 
 let pp_location (loc_begin, loc_end) =
-  sprintf "(%d,%d)-(%d,%d)"
-    loc_begin.Lexing.pos_lnum
-    (loc_begin.Lexing.pos_cnum - loc_begin.Lexing.pos_bol)
-    loc_end.Lexing.pos_lnum
-    (loc_end.Lexing.pos_cnum - loc_end.Lexing.pos_bol)
+  let c_begin = loc_begin.Lexing.pos_cnum - loc_begin.Lexing.pos_bol in
+  let c_end = loc_end.Lexing.pos_cnum - loc_end.Lexing.pos_bol in
+  if loc_begin.Lexing.pos_lnum = -1 || loc_end.Lexing.pos_lnum = -1 then
+      sprintf "%d-%d" c_begin c_end
+    else
+      sprintf "(%d,%d)-(%d,%d)" loc_begin.Lexing.pos_lnum c_begin
+        loc_end.Lexing.pos_lnum c_end
 
 let floc_of_loc (loc_begin, loc_end) =
   let floc_begin =