From 1016d68bef18ea078a83af6e550adf2d8a818ddd Mon Sep 17 00:00:00 2001 From: Paul Phillips Date: Sun, 7 Nov 2010 23:48:57 +0000 Subject: An overhaul of Global. consistently, and remove things which are not being used anywhere in the visible universe. Beyond general polish here are some of the feature-like additions I can remember: * -Xshow-phases now includes descriptions of the phases. * -Xshow-class and -Xshow-object did not work as far as I could tell: if they didn't, now they do. If they did, now they work better. And you don't have to give it a fully qualified name anymore. * -Xprint-icode will generate *.icode files (don't also have to say -Xprint:icode) * counts of deprecation and unchcked warnings are given * More documentation of what global is doing. I tried not to break anything which might be using Global, but let me know if I overshot somewhere. No review. --- src/library/scala/util/Properties.scala | 1 + 1 file changed, 1 insertion(+) (limited to 'src/library/scala/util/Properties.scala') diff --git a/src/library/scala/util/Properties.scala b/src/library/scala/util/Properties.scala index e4da90ee28..202fd63ef9 100644 --- a/src/library/scala/util/Properties.scala +++ b/src/library/scala/util/Properties.scala @@ -69,6 +69,7 @@ private[scala] trait PropertiesTrait * Note that it uses "prop" i.e. looks in the scala jar, not the system properties. */ def sourceEncoding = scalaPropOrElse("file.encoding", "UTF-8") + def sourceReader = scalaPropOrElse("source.reader", "scala.tools.nsc.io.SourceReader") /** This is the default text encoding, overridden (unreliably) with * JAVA_OPTS="-Dfile.encoding=Foo" -- cgit v1.2.3