From dc7d355dbc581c2595a2bba4c377cacb6c2ff696 Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sat, 31 Oct 2026 02:52:11 -0300
Subject: where modes drop only the attribute its index reads

---
 lib/evaluators/FOL.ml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'lib/evaluators')

diff --git a/lib/evaluators/FOL.ml b/lib/evaluators/FOL.ml
index 1064c74..60cc89f 100644
--- a/lib/evaluators/FOL.ml
+++ b/lib/evaluators/FOL.ml
@@ -171,8 +171,10 @@ let rec modes =
   | Where (plan, binding) -> (
       let* modes = modes plan in
       match plan with
-      | Base relation when Option.is_some (index_for relation binding) ->
-          Ok (Concepts.Mode.given (bound binding) modes)
+      | Base relation -> (
+        match index_for relation binding with
+        | Some (_, attribute) -> Ok (Concepts.Mode.given attribute modes)
+        | None -> Ok modes )
       | _ -> Ok modes )
 
 let project description relation =
-- 
cgit v1.2.3