diff options
author | Martin Odersky <odersky@gmail.com> | 2014-02-02 18:55:47 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-02-02 18:56:47 +0100 |
commit | 4886d7cb538f9a073827c78671d1890be787c0a5 (patch) | |
tree | 654c02b484be36b885d27677f7ca9328912d5087 /src/dotty/tools/dotc/core/Contexts.scala | |
parent | 19c8cb1bca7a07395446a0cceaab137e5af2c8c5 (diff) | |
download | dotty-4886d7cb538f9a073827c78671d1890be787c0a5.tar.gz dotty-4886d7cb538f9a073827c78671d1890be787c0a5.tar.bz2 dotty-4886d7cb538f9a073827c78671d1890be787c0a5.zip |
Relaxing check that implicits must have explicit return type
Now this is required only for members of a template. Local statements can still have implicits with no result type. (Maybe we need to get back on this).
Also, changed Dotty itself and tests to adhere to the new restriction.
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 d82826277..1d78eaf02 100644 --- a/src/dotty/tools/dotc/core/Contexts.scala +++ b/src/dotty/tools/dotc/core/Contexts.scala @@ -477,7 +477,7 @@ object Contexts { object Context { /** Implicit conversion that injects all printer operations into a context */ - implicit def toPrinter(ctx: Context) = ctx.printer + implicit def toPrinter(ctx: Context): Printer = ctx.printer /** implicit conversion that injects all ContextBase members into a context */ implicit def toBase(ctx: Context): ContextBase = ctx.base @@ -487,7 +487,7 @@ object Contexts { /** Info that changes on each compiler run */ class RunInfo(initctx: Context) extends ImplicitRunInfo { - implicit val ctx = initctx + implicit val ctx: Context = initctx } /** Initial size of superId table */ |