--- a/src/Pure/General/pretty.scala Sat Oct 22 23:29:44 2011 +0200
+++ b/src/Pure/General/pretty.scala Sat Oct 22 23:30:02 2011 +0200
@@ -53,7 +53,7 @@
Library.chunks(text).toList.map((s: CharSequence) => XML.Text(s.toString)))
}
- sealed case class Text(tx: XML.Body = Nil, val pos: Double = 0.0, val nl: Int = 0)
+ private sealed case class Text(tx: XML.Body = Nil, val pos: Double = 0.0, val nl: Int = 0)
{
def newline: Text = copy(tx = FBreak :: tx, pos = 0.0, nl = nl + 1)
def string(s: String, len: Double): Text = copy(tx = XML.Text(s) :: tx, pos = pos + len)
--- a/src/Pure/System/system_channel.scala Sat Oct 22 23:29:44 2011 +0200
+++ b/src/Pure/System/system_channel.scala Sat Oct 22 23:30:02 2011 +0200
@@ -28,12 +28,12 @@
/** named pipes **/
-object Fifo_Channel
+private object Fifo_Channel
{
private val next_fifo = Counter()
}
-class Fifo_Channel extends System_Channel
+private class Fifo_Channel extends System_Channel
{
private def mk_fifo(): String =
{
@@ -81,7 +81,7 @@
/** sockets **/
-class Socket_Channel extends System_Channel
+private class Socket_Channel extends System_Channel
{
private val server = new ServerSocket(0, 2, InetAddress.getByName("127.0.0.1"))