From 88744e1458561202d609c431b3f0a8e26582591b Mon Sep 17 00:00:00 2001
From: Sonja Heinze <sonjaleaheinze@gmail.com>
Date: Fri, 12 May 2023 10:41:39 +0200
Subject: [PATCH] Add comment about cache misses on trivial changes

---
 src/kernel/mpipeline.ml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/kernel/mpipeline.ml b/src/kernel/mpipeline.ml
index a2fc0c3c0b..2ea2e13801 100644
--- a/src/kernel/mpipeline.ml
+++ b/src/kernel/mpipeline.ml
@@ -272,6 +272,9 @@ let process
           if config.merlin.use_ppx_cache then None
           else Some "configuration"
         in
+        (* With this, the cache is invalidated even for source changes that don't
+           change the parsetree. To avoid that, we'd have to digest the parsetree
+           in the cache. *)
         let force_invalidation = not source_is_unmodified in
         Ppx_with_cache.apply ~cache_disabling ~force_invalidation {parsetree; config}
       in