From 7317a07040a70a9f213010666bf4939ab300eb40 Mon Sep 17 00:00:00 2001 From: Rudy Ges Date: Fri, 13 Dec 2024 15:35:59 +0100 Subject: [PATCH] [hxb] disable hxb optimizations when hxb cache is disabled.. --- src/compiler/server.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/src/compiler/server.ml b/src/compiler/server.ml index 74ab72a6bbd..8feccc43b6c 100644 --- a/src/compiler/server.ml +++ b/src/compiler/server.ml @@ -229,6 +229,7 @@ let get_changed_directories sctx com = let full_typing com m_extra = com.is_macro_context || com.display.dms_full_typing + || Define.defined com.defines Define.DisableHxbCache || Define.defined com.defines Define.DisableHxbOptimizations || DisplayPosition.display_position#is_in_file (Path.UniqueKey.lazy_key m_extra.m_file)