Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] StackOverflowError when traversing PIDE markup

view this post on Zulip Email Gateway (May 23 2024 at 13:08):

From: Norbert Schirmer <cl-isabelle-users@lists.cam.ac.uk>
Meanwhile I ran into the Issue again with the patched version. However I did not get a more informative error message:

14:38:48 [AWT-EventQueue-0] [error] Rich_Text_Area: java.lang.StackOverflowError
14:38:48 [AWT-EventQueue-0] [error] Rich_Text_Area: at isabelle.Markup_Tree.traverse$1(markup_tree.scala:218)
14:38:48 [AWT-EventQueue-0] [error] Rich_Text_Area: at isabelle.Markup_Tree.traverse$1(markup_tree.scala:210)
14:38:48 [AWT-EventQueue-0] [error] Rich_Text_Area: at isabelle.Markup_Tree.traverse$1(markup_tree.scala:218)
14:38:48 [AWT-EventQueue-0] [error] Rich_Text_Area: at isabelle.Markup_Tree.traverse$1(markup_tree.scala:210)
14:38:48 [AWT-EventQueue-0] [error] Rich_Text_Area: at isabelle.Markup_Tree.traverse$1(markup_tree.scala:218)
14:38:48 [AWT-EventQueue-0] [error] Rich_Text_Area: at isabelle.Markup_Tree.traverse$1(markup_tree.scala:210)
14:38:48 [AWT-EventQueue-0] [error] Rich_Text_Area: at isabelle.Markup_Tree.traverse$1(markup_tree.scala:218)
14:38:48 [AWT-EventQueue-0] [error] Rich_Text_Area: at isabelle.Markup_Tree.traverse$1(markup_tree.scala:218)
14:38:48 [AWT-EventQueue-0] [error] Rich_Text_Area: at isabelle.Markup_Tree.traverse$1(markup_tree.scala:210)
14:38:48 [AWT-EventQueue-0] [error] Rich_Text_Area: at isabelle.Markup_Tree.traverse$1(markup_tree.scala:218)
14:38:48 [AWT-EventQueue-0] [error] Rich_Text_Area: at isabelle.Markup_Tree.traverse$1(markup_tree.scala:218)
14:38:48 [AWT-EventQueue-0] [error] Rich_Text_Area: at isabelle.Markup_Tree.traverse$1(markup_tree.scala:210)
….

view this post on Zulip Email Gateway (May 23 2024 at 15:26):

From: Norbert Schirmer <cl-isabelle-users@lists.cam.ac.uk>
A little bit more information:

java.lang.StackOverflowError
at scala.collection.immutable.Map$EmptyMap$.getOrElse(Map.scala:246)
at isabelle.Document$Pending_Edits.edits(document.scala:553)
at isabelle.Document$Snapshot.convert(document.scala:606)
at isabelle.Document$Snapshot.convert$$anonfun$2(document.scala:610)
at isabelle.Text$Range.map(text.scala:45)
at isabelle.Document$Snapshot.convert(document.scala:610)
at isabelle.Document$Snapshot.cumulate$$anonfun$2$$anonfun$2$$anonfun$2$$anonfun$1(document.scala:768)
at isabelle.Markup_Tree.results$1$$anonfun$1(markup_tree.scala:192)
at scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
at scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
at scala.collection.immutable.List.foreach(List.scala:333)
at isabelle.Markup_Tree.results$1(markup_tree.scala:193)
at isabelle.Markup_Tree.traverse$1(markup_tree.scala:207)
at isabelle.Markup_Tree.traverse$1(markup_tree.scala:210)
at isabelle.Markup_Tree.traverse$1(markup_tree.scala:218)
at isabelle.Markup_Tree.traverse$1(markup_tree.scala:210)
….

Regards,
Norbert

Last updated: Jan 04 2025 at 20:18 UTC