diff options
author | Martin Odersky <odersky@gmail.com> | 2013-10-12 12:58:30 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-10-12 12:58:30 +0200 |
commit | 54a1bce87b4682ccfb97504e2daa7c36cbf207b2 (patch) | |
tree | 5ff7f54b0a8543c289abf295cf9a9f503582a9a1 /src/dotty/tools/dotc/Compiler.scala | |
parent | b4c0e4af5ef03384f24e370059724be7c1ca6fb3 (diff) | |
download | dotty-54a1bce87b4682ccfb97504e2daa7c36cbf207b2.tar.gz dotty-54a1bce87b4682ccfb97504e2daa7c36cbf207b2.tar.bz2 dotty-54a1bce87b4682ccfb97504e2daa7c36cbf207b2.zip |
Tightening up typer state + printing refinements
1) Made consistency checking water tight, so that inconsistencies are always catched wehn they arise
2) Fixed problem in implicit search that led to inconsistencies
3) Refined printing of type parameters and type arguments
Diffstat (limited to 'src/dotty/tools/dotc/Compiler.scala')
-rw-r--r-- | src/dotty/tools/dotc/Compiler.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/Compiler.scala b/src/dotty/tools/dotc/Compiler.scala index 8a37dba61..e6675237a 100644 --- a/src/dotty/tools/dotc/Compiler.scala +++ b/src/dotty/tools/dotc/Compiler.scala @@ -23,7 +23,7 @@ class Compiler { .withOwner(defn.RootClass) .withTyper(new Typer) .withNewMode(Mode.ImplicitsEnabled) - .withTyperState(new MutableTyperState(ctx.typerState, new ConsoleReporter()(ctx))) + .withTyperState(new MutableTyperState(ctx.typerState, new ConsoleReporter()(ctx), committable = true)) def addImport(ctx: Context, sym: Symbol) = ctx.fresh.withImportInfo(ImportInfo.rootImport(sym)(ctx)) (start.withRunInfo(new RunInfo(start)) /: rootImports)(addImport) |