From 63623cfd725bf9048a2ae37cc4178cc23e249919 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 19 Sep 2024 15:37:50 +0200 Subject: [PATCH] clause removal needs unreleased elpi version --- src/coq_elpi_builtins_synterp.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/src/coq_elpi_builtins_synterp.ml b/src/coq_elpi_builtins_synterp.ml index 7044b0d20..28b54fc8d 100644 --- a/src/coq_elpi_builtins_synterp.ml +++ b/src/coq_elpi_builtins_synterp.ml @@ -158,6 +158,7 @@ let accumulate_clauses ~clauses_for_later ~accumulate_to_db ~preprocess_clause ~ let clauses scope = clauses |> CList.rev_map (fun (name,graft,clause) -> let vars, clause = preprocess_clause ~depth clause in + let graft = Option.map (function `Remove, _ -> nYI "clause removal" | ((`Replace | `Before | `After), _) as x -> x) graft in let clause = U.clause_of_term ?name ?graft ~depth loc clause in (dbname,clause,vars,scope)) in let local = (options : options).local = Some true in