src/Pure/PIDE/xml.scala

--- a/src/Pure/PIDE/xml.scala	Sun Jun 30 13:20:54 2024 +0200
+++ b/src/Pure/PIDE/xml.scala	Mon Jul 01 12:37:03 2024 +0200
@@ -338,6 +338,8 @@
 
     /* representation of standard types */
 
+    val self: T[XML.Body] = identity
+
     val tree: T[XML.Tree] = (t => List(t))
 
     val properties: T[Properties.T] =
@@ -420,6 +422,8 @@
 
     /* representation of standard types */
 
+    val self: T[XML.Body] = identity
+
     val tree: T[XML.Tree] = {
       case List(t) => t
       case ts => throw new XML_Body(ts)