Isabelle/HOL translation: add 'O' and 'OO' to reversed names (#2961)

As requested by Jonathan, adds 'O' and 'OO' to the list reserved Isabelle/HOL names.
anoma · Aug 19, 2024 · 7df1e00 · 7df1e00
1 parent 4fa5d3c
commit 7df1e00
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/Juvix/Compiler/Backend/Isabelle/Translation/FromTyped.hs b/src/Juvix/Compiler/Backend/Isabelle/Translation/FromTyped.hs
@@ -923,6 +923,8 @@ goModule onlyTypes infoTable Internal.Module {..} =
           "let",
           "list",
           "nat",
+          "O",
+          "OO",
           "of",
           "option",
           "theory",