diff options
author | Martin Odersky <odersky@gmail.com> | 2014-01-04 11:50:42 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-01-04 11:50:42 +0100 |
commit | 6e49304b739f7caa0b29a310a2fb9a632bf0ac20 (patch) | |
tree | 1400ffeaa135dc5105aa7a8ef5dbb5089ebbf0a0 /src/dotty/tools/dotc/typer/Typer.scala | |
parent | c6e2ca6845352a0cdb82f8cd3b9baec2154b4f61 (diff) | |
download | dotty-6e49304b739f7caa0b29a310a2fb9a632bf0ac20.tar.gz dotty-6e49304b739f7caa0b29a310a2fb9a632bf0ac20.tar.bz2 dotty-6e49304b739f7caa0b29a310a2fb9a632bf0ac20.zip |
Add AnyRef parent for case classes that do not have an extends clause.
Previously, such classes just had ProductN as parent, which is not a subtype of AnyRef.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Typer.scala')
-rw-r--r-- | src/dotty/tools/dotc/typer/Typer.scala | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/Typer.scala b/src/dotty/tools/dotc/typer/Typer.scala index f3e61ee1a..2aae8e2e0 100644 --- a/src/dotty/tools/dotc/typer/Typer.scala +++ b/src/dotty/tools/dotc/typer/Typer.scala @@ -76,10 +76,12 @@ class Typer extends Namer with Applications with Implicits { val refDenot = site.member(name) if (reallyExists(refDenot)) site.select(name, refDenot) else { - if (!site.isErroneous) + if (!site.isErroneous) { + typr.println(s"site = $site, baseClasses = ${site.baseClasses}") ctx.error( if (name == nme.CONSTRUCTOR) i"$site does not have a constructor" else i"$name is not a member of $site", pos) + } ErrorType } } |