# HG changeset patch
# User wenzelm
# Date 1699733214 -3600
# Node ID 20f2f34a81bd7967507ea73d0be6a5b8c5793124
# Parent  2a27d2c8eae8c8096db5a9da92c4e1250ec14c05
more TODO;

diff -r 2a27d2c8eae8 -r 20f2f34a81bd src/Pure/General/toml.scala
--- a/src/Pure/General/toml.scala	Sat Nov 11 21:05:41 2023 +0100
+++ b/src/Pure/General/toml.scala	Sat Nov 11 21:06:54 2023 +0100
@@ -523,6 +523,7 @@
   }
 
   def parse_files(files: Iterable[Path], context: Parse_Context = Parse_Context()): Table = {
+    // FIXME proper reset of table context for each file
     val s = files.iterator.map(File.read).mkString("\n\n")
     parse(s, context = context)
   }