diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-09-23 12:26:55 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-09-23 12:28:05 +0200 |
| commit | c90e09fc7bd79c3bf9c95ce87f3c11cb3dfd4405 (patch) | |
| tree | 85ca8768f5d4544bf6c5940393a18abaf90b4a57 /test/test/DottyTest.scala | |
| parent | 625d7ad00d43fb77df55c1ace30db1e6ccdf6179 (diff) | |
| download | dotty-c90e09fc7bd79c3bf9c95ce87f3c11cb3dfd4405.tar.gz dotty-c90e09fc7bd79c3bf9c95ce87f3c11cb3dfd4405.tar.bz2 dotty-c90e09fc7bd79c3bf9c95ce87f3c11cb3dfd4405.zip | |
Changed Throwing reporting scheme.
Changed ThrowingReporter to use an underlying reporter for issuing messages below ERROR.
Made ThrowingReporters the default in initialContext.
Diffstat (limited to 'test/test/DottyTest.scala')
| -rw-r--r-- | test/test/DottyTest.scala | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/test/test/DottyTest.scala b/test/test/DottyTest.scala index 98da7bf0e..8d48bd58e 100644 --- a/test/test/DottyTest.scala +++ b/test/test/DottyTest.scala @@ -6,6 +6,7 @@ import dotty.tools.dotc.core.Symbols._ import dotty.tools.dotc.core.Flags._ import Types._, Symbols._, Decorators._ import dotty.tools.dotc.printing.Texts._ +import dotty.tools.dotc.reporting.ConsoleReporter import dotty.tools.dotc.core.Decorators._ class DottyTest { @@ -24,6 +25,8 @@ class DottyTest { .withSetting(printtypes, true) .withSetting(pageWidth, 90) .withSetting(log, List("<some")) + // .withTyperState(new TyperState(new ConsoleReporter()(base.initialCtx))) + // .withSetting(uniqid, true) println(ctx.settings) base.definitions.init() |