From 6a718979367430524509e9570395fd2a637f8540 Mon Sep 17 00:00:00 2001
From: vgross <vgross@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Thu, 25 Feb 2010 15:09:13 +0000
Subject: Changes in lexing and tagging.

Lexing send back an offset couple delimiting beginning and
ending of sentences. This couple is used to apply a tag on the whole
sentence.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12808 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/coq_lex.mll | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

(limited to 'ide/coq_lex.mll')

diff --git a/ide/coq_lex.mll b/ide/coq_lex.mll
index 03ce950fd..36b567b73 100644
--- a/ide/coq_lex.mll
+++ b/ide/coq_lex.mll
@@ -71,6 +71,7 @@
     Hashtbl.mem h
 
   let start = ref true
+  let last_leading_blank = ref 0
 }
 
 let space =
@@ -135,10 +136,14 @@ and comment = parse
   | _ { comment lexbuf }
 
 and sentence stamp = parse
-  | space+ { sentence stamp lexbuf }
+  | space+ {
+      if !start then last_leading_blank := Lexing.lexeme_end lexbuf;
+      sentence stamp lexbuf
+    }
   | "(*" {
       let comm_start = Lexing.lexeme_start lexbuf in
       let comm_end = comment lexbuf in
+      if !start then last_leading_blank := comm_end;
       stamp comm_start comm_end Comment;
       sentence stamp lexbuf
     }
@@ -189,6 +194,7 @@ and sentence stamp = parse
   let find_end_offset stamp slice =
     let lb = Lexing.from_string slice in
     start := true;
+    last_leading_blank := 0;
     sentence stamp lb;
-    Lexing.lexeme_end lb
+    !last_leading_blank,Lexing.lexeme_end lb
 }
-- 
cgit v1.2.3