From bc808d128811396de40eb251528640e127f83fad Mon Sep 17 00:00:00 2001
From: Ryan Lahfa
Date: Wed, 17 Apr 2024 17:29:38 +0200
Subject: fix(backends/lean): extract more keywords from `lstlean.latex`

Taken from
https://github.com/leanprover/lean4/blob/master/doc/latex/lstlean.tex#L12
and sorted.

Tactics are ignored.

Signed-off-by: Ryan Lahfa <ryan.lahfa@inria.fr>
---
 compiler/ExtractBase.ml | 62 +++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 62 insertions(+)

diff --git a/compiler/ExtractBase.ml b/compiler/ExtractBase.ml
index 92206ece..ddffb1c2 100644
--- a/compiler/ExtractBase.ml
+++ b/compiler/ExtractBase.ml
@@ -915,38 +915,100 @@ let keywords () =
         ]
     | Lean ->
         [
+          "Pi";
           "Type";
+          "abbrev";
+          "alias";
           "as";
+          "at";
+          "attribute";
+          "axiom";
+          "axioms";
+          "begin";
+          "break";
           "by";
+          "calc";
+          "catch";
           "class";
+          "const";
+          "constant";
+          "constants";
+          "continue";
           "decreasing_by";
           "def";
+          "definition";
           "deriving";
           "do";
           "else";
           "end";
+          "example";
+          "exists";
+          "export";
+          "extends";
           "for";
+          "forall";
           "from";
+          "fun";
           "have";
+          "hiding";
           "if";
           "import";
+          "in";
+          "include";
           "inductive";
+          "infix";
+          "infixl";
+          "infixr";
           "instance";
+          "lemma";
           "let";
+          "local";
           "macro";
+          "macro_rules";
           "match";
+          "mut";
+          "mutual";
           "namespace";
+          "noncomputable";
+          "notation";
+          "omit";
           "opaque";
           "opaque_defs";
           "open";
+          "override";
+          "parameter";
+          "parameters";
+          "partial";
+          "postfix";
+          "precedence";
+          "prefix";
+          "prelude";
+          "private";
+          "protected";
+          "raw";
+          "record";
+          "reduce";
+          "renaming";
+          "replacing";
+          "reserve";
           "run_cmd";
+          "section";
           "set_option";
           "simp";
           "structure";
           "syntax";
           "termination_by";
           "then";
+          "theorem";
+          "theory";
+          "universe";
+          "universes";
+          "unless";
           "unsafe";
+          "using";
+          "using_well_founded";
+          "variable";
+          "variables";
           "where";
           "with";
         ]
-- 
cgit v1.2.3