diff options
author | Martin Odersky <odersky@gmail.com> | 2014-10-27 17:18:48 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-10-27 17:18:48 +0100 |
commit | 46eb5ea0b8ac3e80795e7f5030b128794feb692c (patch) | |
tree | 5cec66620e3c7bfdf16b117136e23ba86a644cb3 /src/dotty/tools/dotc/transform/TreeChecker.scala | |
parent | 107049919d509c965dcee71fd8afd2e535058043 (diff) | |
download | dotty-46eb5ea0b8ac3e80795e7f5030b128794feb692c.tar.gz dotty-46eb5ea0b8ac3e80795e7f5030b128794feb692c.tar.bz2 dotty-46eb5ea0b8ac3e80795e7f5030b128794feb692c.zip |
Fix treatment of by name functions
By-name functions like `(=> T) => T` were not treated correctly before.
Witness the disabled `-Ycheck:gettersSetters` for transform/TreeCheckers
in thge test suite. This commit changes the scheme how => T types are treated
and fixes the problems with by-name functions.
Diffstat (limited to 'src/dotty/tools/dotc/transform/TreeChecker.scala')
-rw-r--r-- | src/dotty/tools/dotc/transform/TreeChecker.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/transform/TreeChecker.scala b/src/dotty/tools/dotc/transform/TreeChecker.scala index 4a7d280e5..e09a83a04 100644 --- a/src/dotty/tools/dotc/transform/TreeChecker.scala +++ b/src/dotty/tools/dotc/transform/TreeChecker.scala @@ -196,7 +196,7 @@ class TreeChecker { !pt.isInstanceOf[FunProto]) assert(tree.tpe <:< pt, s"error at ${sourcePos(tree.pos)}\n" + - err.typeMismatchStr(tree.tpe, pt) + "tree = " + tree) + err.typeMismatchStr(tree.tpe, pt) + "\ntree = " + tree) tree } } |