# HG changeset patch
# User wenzelm
# Date 1538415036 -7200
# Node ID 4b06a20b13b54400d8ebb055c4aa55b129c85e19
# Parent  991a3feaf2700b09dc600d781814b8d74c8f7f00
tuned output -- avoid bombing of Scala toplevel, e.g. for AFP deps;

diff -r 991a3feaf270 -r 4b06a20b13b5 src/Pure/Thy/sessions.scala
--- a/src/Pure/Thy/sessions.scala	Mon Oct 01 16:41:36 2018 +0200
+++ b/src/Pure/Thy/sessions.scala	Mon Oct 01 19:30:36 2018 +0200
@@ -158,6 +158,10 @@
     errors: List[String] = Nil,
     imports: Option[Base] = None)
   {
+    override def toString: String =
+      "Sessions.Base(loaded_theories = " + loaded_theories.size +
+        ", used_theories = " + used_theories.length + ")"
+
     def platform_path: Base = copy(known = known.platform_path)
     def standard_path: Base = copy(known = known.standard_path)
 
@@ -189,6 +193,8 @@
   sealed case class Deps(
     sessions_structure: Structure, session_bases: Map[String, Base], all_known: Known)
   {
+    override def toString: String = "Sessions.Deps(" + sessions_structure + ")"
+
     def is_empty: Boolean = session_bases.isEmpty
     def apply(name: String): Base = session_bases(name)
     def get(name: String): Option[Base] = session_bases.get(name)