From f3d1eff69850d379bad5ab8f1cdadb7f5d5c7eca Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Tue, 11 Oct 2016 13:23:26 +0200
Subject: More on making the lexer more functional (continuing b8ae2de5 and
 8a8caba3).

- Adding cLexer.current_file to the lexer state, i.e. making it a
  component of the type "coq_parsable" of lexer state (it was
  forgotten in b8ae2de5 and 8a8caba3).
- Inlining save_translator/restore_translator which have now lost most
  of their substance.
---
 dev/doc/changes.txt | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'dev')

diff --git a/dev/doc/changes.txt b/dev/doc/changes.txt
index fcee79e07e..6dd7cb9707 100644
--- a/dev/doc/changes.txt
+++ b/dev/doc/changes.txt
@@ -2,6 +2,11 @@
 = CHANGES BETWEEN COQ V8.5 AND COQ V8.6 =
 =========================================
 
+** Parsing **
+
+Pcoq.parsable now takes an extra optional filename argument so as to
+bind locations to a file name when relevant.
+
 ** Files **
 
 To avoid clashes with OCaml's compiler libs, the following files were renamed:
-- 
cgit v1.2.3