accepts invalid code with undefined type

[zhendongsu]

$ scalac-2.12.0 t.scala
t.scala:2: error: not found: type test
  def test (x : test) : Int
                ^
one error found
$ 
$ dotc -version

Dotty compiler version 0.01 -- (c) 2013 LAMP/EPFL
$ 
$ dotc t.scala
Warning: mocking up superclass for module class test
$ 
$ cat t.scala
trait Foo {
  def test (x : test) : Int
} 
$ 

[liufengyun]

Thanks for reporting, @zhendongsu , this is a very good error reporting.

It turns out that the problem is that by default all subdirectory names will be added to <root> as package module class and object. x: project, x: src and x: src.dotty also type check.

I see two fixes here:

• By default, don't add current sub dirs to -classpath ( current dir . can be added)
• When resolving a TypeName, disqualify package names.

WDYT @smarter @DarkDimius ?

[zhendongsu]

Thank you for looking into it, Fengyun!

[odersky]

@liufengyun I think (2) is the right choice: When resolving a TypeName, disqualify package names.