From dca619cc34e64e63fe36ec9b5acdb42aafe665a8 Mon Sep 17 00:00:00 2001
From: François Pottier <francois.pottier@inria.fr>
Date: Fri, 23 Oct 2015 13:11:23 +0200
Subject: Lexer cleanup: isolate [lexer_wraper] and rename it to [lexer].

---
 cparser/Lexer.mll | 16 ++++++++++------
 1 file changed, 10 insertions(+), 6 deletions(-)

(limited to 'cparser/Lexer.mll')

diff --git a/cparser/Lexer.mll b/cparser/Lexer.mll
index c453b15b..ab4e03fe 100644
--- a/cparser/Lexer.mll
+++ b/cparser/Lexer.mll
@@ -449,17 +449,21 @@ and singleline_comment = parse
       else
         initial lexbuf
 
+  (* [lexer tokens buffer] is a new lexer, which wraps [lexer], and also
+     records the token stream into the FIFO queue [tokens]. *)
+
+  let lexer tokens : lexbuf -> Pre_parser.token =
+    fun lexbuf ->
+      let token = lexer lexbuf in
+      Queue.push token tokens;
+      token
+
   let tokens_stream filename text : token coq_Stream =
     let tokens = Queue.create () in
-    let lexer_wraper lexbuf : Pre_parser.token =
-      let res = lexer lexbuf in
-      Queue.push res tokens;
-      res
-    in
     let lexbuf = Lexing.from_string text in
     lexbuf.lex_curr_p <- {lexbuf.lex_curr_p with pos_fname = filename; pos_lnum = 1};
     contexts_stk := [init_ctx];
-    Pre_parser.translation_unit_file lexer_wraper lexbuf;
+    Pre_parser.translation_unit_file (lexer tokens) lexbuf;
     assert (List.length !contexts_stk = 1);
     let rec compute_token_stream () =
       let loop t v =
-- 
cgit