diff options
author | Martin Odersky <odersky@gmail.com> | 2009-05-28 17:20:39 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2009-05-28 17:20:39 +0000 |
commit | 9b2430c7766882b55994fda01bc59130e256d022 (patch) | |
tree | 4310b80e1542e5a4577c8798c6ce8fb9cc5b55ee /src/compiler/scala/tools/nsc/interactive/REPL.scala | |
parent | 7fc525184be32f405fc027675667c8e8bfa14679 (diff) | |
download | scala-9b2430c7766882b55994fda01bc59130e256d022.tar.gz scala-9b2430c7766882b55994fda01bc59130e256d022.tar.bz2 scala-9b2430c7766882b55994fda01bc59130e256d022.zip |
more work on the interactive mode.
Diffstat (limited to 'src/compiler/scala/tools/nsc/interactive/REPL.scala')
-rw-r--r-- | src/compiler/scala/tools/nsc/interactive/REPL.scala | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/interactive/REPL.scala b/src/compiler/scala/tools/nsc/interactive/REPL.scala index e773f9f281..f63789fc9b 100644 --- a/src/compiler/scala/tools/nsc/interactive/REPL.scala +++ b/src/compiler/scala/tools/nsc/interactive/REPL.scala @@ -32,7 +32,9 @@ object REPL { reporter.info(null, versionMsg, true) else { try { - object compiler extends Global(command.settings, reporter) + object compiler extends Global(command.settings, reporter) { +// printTypings = true + } if (reporter.hasErrors) { reporter.flush() return |