src/Tools/Code/code_scala.ML
changeset 39781 2053638a2bf2
parent 39148 b6530978c14d
child 41343 71f4f15258a5
equal deleted inserted replaced
39780:2f43fffbba1a 39781:2053638a2bf2
   428       "match", "new", "null", "object", "override", "package", "private", "protected",
   428       "match", "new", "null", "object", "override", "package", "private", "protected",
   429       "requires", "return", "sealed", "super", "this", "throw", "trait", "try",
   429       "requires", "return", "sealed", "super", "this", "throw", "trait", "try",
   430       "true", "type", "val", "var", "while", "with", "yield"
   430       "true", "type", "val", "var", "while", "with", "yield"
   431     ]
   431     ]
   432   #> fold (Code_Target.add_reserved target) [
   432   #> fold (Code_Target.add_reserved target) [
   433       "apply", "error", "BigInt", "Nil", "List"
   433       "apply", "error", "scala", "BigInt", "Nil", "List"
   434     ];
   434     ];
   435 
   435 
   436 end; (*struct*)
   436 end; (*struct*)