From 6823fb0d433c68fd0ad78b445f08c6f08fa3340e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=A9r=C3=A9mie=20Dimino?= Date: Sun, 1 Jul 2018 01:36:26 +0700 Subject: [PATCH] Restore eof_reached Signed-off-by: Rudi Grinberg --- src/dune_lexer.mli | 2 ++ src/dune_lexer.mll | 4 ++++ 2 files changed, 6 insertions(+) diff --git a/src/dune_lexer.mli b/src/dune_lexer.mli index 7b3c5eaf..2067c6c7 100644 --- a/src/dune_lexer.mli +++ b/src/dune_lexer.mli @@ -12,3 +12,5 @@ val first_line : Lexing.lexbuf -> first_line (** Parse the first line of a versioned file but do not fail if it doesn't start with [(lang ...)]. *) val maybe_first_line : Lexing.lexbuf -> first_line option + +val eof_reached : Lexing.lexbuf -> bool diff --git a/src/dune_lexer.mll b/src/dune_lexer.mll index b7ac50b8..603c9407 100644 --- a/src/dune_lexer.mll +++ b/src/dune_lexer.mll @@ -61,6 +61,10 @@ and to_eol = parse { () } +and eof_reached = parse + | eof { true } + | "" { false } + { let first_line lb = match maybe_first_line lb with