src/Pure/General/toml.scala

   }
 
   object Parse_Context {
     case class Seen(inlines: Set[Keys], tables: Set[Keys])
 
-    def empty: Parse_Context = new Parse_Context(Map(Nil -> Seen(Set.empty, Set.empty)))
-  }
-
-  def parse(s: Str, context: Parse_Context = Parse_Context.empty): Table = {
+    def apply(): Parse_Context = new Parse_Context(Map(Nil -> Seen(Set.empty, Set.empty)))
+  }
+
+  def parse(s: Str, context: Parse_Context = Parse_Context()): Table = {
     val file = Parsers.parse(s)
 
     def convert(ks0: Keys, ks1: Keys, v: Parsers.V): T = {
       def to_table(ks: Keys, t: T): Table =
         ks.dropRight(1).foldRight(Table(ks.last -> t))((k, v) => Table(k -> v))