Skip to content

Commit

Permalink
[hxb] disable hxb optimizations when hxb cache is disabled..
Browse files Browse the repository at this point in the history
  • Loading branch information
kLabz committed Dec 13, 2024
1 parent 2f50584 commit 7317a07
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions src/compiler/server.ml
Original file line number Diff line number Diff line change
Expand Up @@ -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)

Expand Down

0 comments on commit 7317a07

Please sign in to comment.