[CN] Fix IT.free_vars for pattern matches (rems-project#691)

Surprised it took 3 months to catch...
vzaliva · Dec 4, 2024 · 6245629 · 6245629
1 parent 000383d
commit 6245629
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/backend/cn/lib/indexTerms.ml b/backend/cn/lib/indexTerms.ml
@@ -113,7 +113,9 @@ let rec free_vars_bts (it : 'a annot) : BT.t SymMap.t =
       | [] -> acc
       | (pat, body) :: cases ->
         let bound = SymSet.of_list (List.map fst (bound_by_pattern pat)) in
-        let more = SymMap.filter (fun x _ -> SymSet.mem x bound) (free_vars_bts body) in
+        let more =
+          SymMap.filter (fun x _ -> not (SymSet.mem x bound)) (free_vars_bts body)
+        in
         aux
           (SymMap.union
              (fun _ bt1 bt2 ->