# HG changeset patch
# User wenzelm
# Date 1656698226 -7200
# Node ID 3c659dfa82f81b03da85a10be5fe892a52b91a90
# Parent  bb048086468a6328c946b19771891e911bb71d81
more keywords for scala3;

diff -r bb048086468a -r 3c659dfa82f8 src/Tools/Code/code_scala.ML
--- a/src/Tools/Code/code_scala.ML	Fri Jul 01 16:03:10 2022 +0200
+++ b/src/Tools/Code/code_scala.ML	Fri Jul 01 19:57:06 2022 +0200
@@ -477,11 +477,11 @@
         print_typ (INFX (1, R)) ty2
       )))]))
   #> fold (Code_Target.add_reserved target) [
-      "abstract", "case", "catch", "class", "def", "do", "else", "extends", "false",
-      "final", "finally", "for", "forSome", "if", "implicit", "import", "lazy",
-      "match", "new", "null", "object", "override", "package", "private", "protected",
-      "requires", "return", "sealed", "super", "this", "throw", "trait", "try",
-      "true", "type", "val", "var", "while", "with", "yield"
+      "abstract", "case", "catch", "class", "def", "do", "else", "enum", "export", "extends",
+      "false", "final", "finally", "for", "forSome", "given", "if", "implicit", "import", "lazy",
+      "match", "new", "null", "object", "override", "package", "private", "protected", "requires",
+      "return", "sealed", "super", "then", "this", "throw", "trait", "try", "true", "type", "val",
+      "var", "while", "with", "yield"
     ]
   #> fold (Code_Target.add_reserved target) [
       "apply", "sys", "scala", "BigInt", "Nil", "List"