diff options
author | Martin Odersky <odersky@gmail.com> | 2013-10-15 14:55:00 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-10-15 14:55:09 +0200 |
commit | 4f05aa9bf0d3c29eae720115433ffe29b239d70f (patch) | |
tree | dbc9c8a430351c0a5b372adc9442c1b74ff92d54 /src/dotty/tools/dotc/core/Contexts.scala | |
parent | cdafc3058566d5eede8995f0812fe57a3a1ad6ee (diff) | |
download | dotty-4f05aa9bf0d3c29eae720115433ffe29b239d70f.tar.gz dotty-4f05aa9bf0d3c29eae720115433ffe29b239d70f.tar.bz2 dotty-4f05aa9bf0d3c29eae720115433ffe29b239d70f.zip |
Changes to adaptation and local type inference.
Diffstat (limited to 'src/dotty/tools/dotc/core/Contexts.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/Contexts.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/core/Contexts.scala b/src/dotty/tools/dotc/core/Contexts.scala index 3de6337b1..d06670b94 100644 --- a/src/dotty/tools/dotc/core/Contexts.scala +++ b/src/dotty/tools/dotc/core/Contexts.scala @@ -288,8 +288,8 @@ object Contexts { def withPeriod(period: Period): this.type = { this.period = period; this } def withNewMode(mode: Mode): this.type = { this.mode = mode; this } def withTyperState(typerState: TyperState): this.type = { this.typerState = typerState; this } - def withNewTyperState: this.type = withTyperState(typerState.fresh(committable = true)) - def withExploreTyperState: this.type = withTyperState(typerState.fresh(committable = false)) + def withNewTyperState: this.type = withTyperState(typerState.fresh(isCommittable = true)) + def withExploreTyperState: this.type = withTyperState(typerState.fresh(isCommittable = false)) def withPrinterFn(printer: Context => Printer): this.type = { this.printerFn = printer; this } def withOwner(owner: Symbol): this.type = { this.owner = owner; this } def withSettings(sstate: SettingsState): this.type = { this.sstate = sstate; this } |