removing unnecessary line breaks in programs (#729)

martin-henz · web-flow · commit c3955a5cf47b · 2021-12-10T10:27:23.000+08:00
diff --git a/xml/chapter3/section5/subsection1.xml b/xml/chapter3/section5/subsection1.xml
@@ -1426,8 +1426,7 @@ stream_ref(x, 7);
           <REQUIRES>stream_map_optimized</REQUIRES>
           <REQUIRES>stream_enumerate_interval</REQUIRES>
 	  <JAVASCRIPT>
-let x = stream_map_optimized(
-            display, stream_enumerate_interval(0, 10));
+let x = stream_map_optimized(display, stream_enumerate_interval(0, 10));
 <SHORT_SPACE/>
 stream_ref(x, 5);
 <SHORT_SPACE/>
diff --git a/xml/chapter3/section5/subsection2.xml b/xml/chapter3/section5/subsection2.xml
@@ -1034,8 +1034,7 @@ function merge(s1, s2) {
                ? pair(s1head, () => merge(stream_tail(s1), s2))
                : s1head &gt; s2head
                ? pair(s2head, () => merge(s1, stream_tail(s2)))
-               : pair(s1head, () => merge(stream_tail(s1),
-                                          stream_tail(s2)));
+               : pair(s1head, () => merge(stream_tail(s1), stream_tail(s2)));
     }
 }
       </JAVASCRIPT>

Original file line number	Diff line number	Diff line change
`@@ -1034,8 +1034,7 @@ function merge(s1, s2) {`
`1034`	`1034`	`? pair(s1head, () => merge(stream_tail(s1), s2))`
`1035`	`1035`	`: s1head > s2head`
`1036`	`1036`	`? pair(s2head, () => merge(s1, stream_tail(s2)))`
`1037`		`- : pair(s1head, () => merge(stream_tail(s1),`
`1038`		`- stream_tail(s2)));`
	`1037`	`+ : pair(s1head, () => merge(stream_tail(s1), stream_tail(s2)));`
`1039`	`1038`	`}`
`1040`	`1039`	`}`
`1041`	`1040`	`</JAVASCRIPT>`