import `export`ed function from another file lose default parameters

Compiler version

3.1.2

Minimized code

from/E.scala

package from

object E {
  def toStr(b: Boolean = true) = {
    b.toString
  }
}

export E.toStr

main.scala

import from.toStr

@main def exportBug = {
  toStr()               //missing argument for parameter b of method toStr in package from: (b: Boolean): String
}

Output

compile error: missing argument for parameter b of method toStr in package from: (b: Boolean): String

Missing default parameters may be a compiler bug?

[pikinier20]

I think we can reopen that as a bug in incremental compilation. It doesn’t work very well with exports.

Probably this issue is related to: https://github.com/lampepfl/dotty/issues/11841 .

[liewhite]

~The println surrounding the toStr() is crucial. You didn’t provide it in minimized example but right now I see it in your compiler log.~

~I agree, it fails on 3.1.2. Still, it doesn’t on newest nightly.~

EDIT: To be sure, I tested in on both scala-cli and sbt, and for the fact got sometimes compilation error on 3.1.2 but it might be related to incremental compilation. Making a clean build always succeeds on 3.1.2 and newest nightly.

Could you try to verify that?

Oh, it works with sbt clean compile, tks, i’ll close this issue