Re: Compiler crash with Dynamic and implicits

[Jerzy Muller]

+scala-internals

I've tested it on 2.12 and it seems the first crash is the same, second one is still there, just have better error message:

Warning:scalac: an unexpected type representation reached the compiler backend while compiling Config.scala: <error>. If possible, please file a bug on issues.scala-lang.org.

--
Jerzy


On Monday, November 14, 2016 at 1:45:02 PM UTC+1, Jerzy Muller wrote:

Hi all,

gist with the code is here: https://gist.github.com/Kwestor/f26ea973e3b0a8730c9a62ca8ea95584.

I tried it on 2.11.8 and there are 2 different compiler crashes, depending on if you uncomment line 32 or 35.

Fix is to add missing "implicit" keyword in line 13, which fixes the minimal reproduction, but unfortunately not our production code.

Stack traces are from IntelliJ, but from SBT it crashes in the same way.

Is this a known issue?

--

Jerzy

[som-snytt]

I don't know that it's a known issue. It wouldn't hurt to report it. I've noticed a few similar issues around fragile transformations where the code isn't quite right.

For instance, SI-10021 about dubious update; there was another about x += y syntax.

In this case, is it understood that select dynamic doesn't accommodate type args? It's not clear to me from the docs. The SIP says only update can't take type params.

[som-snytt]

This shows a.b[c] so yes, it is accommodated. https://issues.scala-lang.org/browse/SI-6731

[Lukas Rytz]

logged at https://issues.scala-lang.org/browse/SI-10066

[Jerzy Muller]

Thanks!