diff options
author | Paul Phillips <paulp@improving.org> | 2010-11-07 23:48:57 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2010-11-07 23:48:57 +0000 |
commit | 1016d68bef18ea078a83af6e550adf2d8a818ddd (patch) | |
tree | 95aaa82c97f1d90f27ebb306d7c98304504cd4ca /src/library | |
parent | 4659d81554c1eb5bda6730d48e0dfed747679862 (diff) | |
download | scala-1016d68bef18ea078a83af6e550adf2d8a818ddd.tar.gz scala-1016d68bef18ea078a83af6e550adf2d8a818ddd.tar.bz2 scala-1016d68bef18ea078a83af6e550adf2d8a818ddd.zip |
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.
Diffstat (limited to 'src/library')
-rw-r--r-- | src/library/scala/util/Properties.scala | 1 |
1 files changed, 1 insertions, 0 deletions
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" |