afford redundant whitespace for improved readability;
authorwenzelm
Tue Mar 05 11:52:20 2019 +0100 (7 weeks ago ago)
changeset 70043db622ada496d
parent 70041 b58a575d211e
child 70044 9532d5b2e932
afford redundant whitespace for improved readability;
src/Pure/General/rdf.scala
     1.1 --- a/src/Pure/General/rdf.scala	Sun Mar 03 20:27:42 2019 +0100
     1.2 +++ b/src/Pure/General/rdf.scala	Tue Mar 05 11:52:20 2019 +0100
     1.3 @@ -38,7 +38,11 @@
     1.4  
     1.5    def triples(args: List[Triple]): XML.Body =
     1.6      args.groupBy(_.subject).toList.map(
     1.7 -      { case (subject, ts) => description(subject, ts.map(_.property)) })
     1.8 +      { case (subject, ts) =>
     1.9 +          val nl = XML.Text("\n")
    1.10 +          val body = nl :: ts.flatMap(t => List(t.property, nl))
    1.11 +          description(subject, body)
    1.12 +      })
    1.13  
    1.14    def description(subject: String, body: XML.Body, attributes: XML.Attributes = Nil): XML.Elem =
    1.15      XML.Elem(Markup(rdf("Description"), (rdf("about"), subject) :: attributes), body)