From 4934b302c643da09b726794c2b20c64151686656 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 17 Feb 2022 10:16:11 -0500 Subject: [PATCH] feat(cpp): better locations after blocks end --- src/core/cpp/cpp.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/core/cpp/cpp.ml b/src/core/cpp/cpp.ml index 914aa02b..f621b028 100644 --- a/src/core/cpp/cpp.ml +++ b/src/core/cpp/cpp.ml @@ -74,7 +74,7 @@ let preproc_lines ~file ~major ~minor (ic:in_channel) : unit = | Eof -> fail "unexpected EOF" | If _ -> fail "nested if not supported" | Raw s -> print_endline s; cat_block() - | Endif -> top() + | Endif -> pp_pos(); top() | Elseif _ | Else -> skip_block ~elseok:false () (* skip current block. @@ -84,7 +84,7 @@ let preproc_lines ~file ~major ~minor (ic:in_channel) : unit = | Eof -> fail "unexpected EOF" | If _ -> fail "nested if not supported" | Raw _ -> skip_block ~elseok () - | Endif -> top() + | Endif -> pp_pos(); top() | Elseif (op,i,j) -> if elseok && eval ~major ~minor op i j then ( pp_pos();