diff options
author | Martin Odersky <odersky@gmail.com> | 2013-04-03 19:02:42 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-04-03 19:02:42 +0200 |
commit | 609aeee025eec0bfc6680bf7fe717d0083cfb15b (patch) | |
tree | 285e0ed9fe11ddacac7277cf928b62ff48ce677f /src/dotty/tools/dotc/core/Contexts.scala | |
parent | df79c5efc7190e7a61ce7ac526aca0aac520ea9f (diff) | |
download | dotty-609aeee025eec0bfc6680bf7fe717d0083cfb15b.tar.gz dotty-609aeee025eec0bfc6680bf7fe717d0083cfb15b.tar.bz2 dotty-609aeee025eec0bfc6680bf7fe717d0083cfb15b.zip |
Improvements in tracing and some Type fixes.
Diffstat (limited to 'src/dotty/tools/dotc/core/Contexts.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/Contexts.scala | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/src/dotty/tools/dotc/core/Contexts.scala b/src/dotty/tools/dotc/core/Contexts.scala index 241d41da9..bb8735860 100644 --- a/src/dotty/tools/dotc/core/Contexts.scala +++ b/src/dotty/tools/dotc/core/Contexts.scala @@ -258,15 +258,7 @@ object Contexts { val settings = new ScalaSettings /** The initial context */ - val initialCtx: Context = - new InitialContext(this, settings) - .withSetting(settings.verbose, true) // !!! for now - .withSetting(settings.debug, true) -// .withSetting(settings.debugNames, true) - .withSetting(settings.Ylogcp, true) - .withSetting(settings.printtypes, true) - .withSetting(settings.pageWidth, 90) - .withSetting(settings.log, List("<some")) + val initialCtx: Context = new InitialContext(this, settings) /** The symbol loaders */ val loaders = new SymbolLoaders |