Re: Compiler crash with Dynamic and implicits

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
5 messages Options
Reply | Threaded
Open this post in threaded view
|

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: <a href="https://gist.github.com/Kwestor/f26ea973e3b0a8730c9a62ca8ea95584" target="_blank" rel="nofollow" onmousedown="this.href=&#39;https://www.google.com/url?q\x3dhttps%3A%2F%2Fgist.github.com%2FKwestor%2Ff26ea973e3b0a8730c9a62ca8ea95584\x26sa\x3dD\x26sntz\x3d1\x26usg\x3dAFQjCNHteMh_1CVUUiHfQvAixEswo2pSrA&#39;;return true;" onclick="this.href=&#39;https://www.google.com/url?q\x3dhttps%3A%2F%2Fgist.github.com%2FKwestor%2Ff26ea973e3b0a8730c9a62ca8ea95584\x26sa\x3dD\x26sntz\x3d1\x26usg\x3dAFQjCNHteMh_1CVUUiHfQvAixEswo2pSrA&#39;;return true;">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

--
You received this message because you are subscribed to the Google Groups "scala-internals" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [hidden email].
For more options, visit https://groups.google.com/d/optout.
Reply | Threaded
Open this post in threaded view
|

Re: Compiler crash with Dynamic and implicits

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.

On Monday, November 14, 2016 at 11:03:34 AM UTC-8, Jerzy Muller wrote:
+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 <a href="http://issues.scala-lang.org" target="_blank" rel="nofollow" onmousedown="this.href=&#39;http://www.google.com/url?q\x3dhttp%3A%2F%2Fissues.scala-lang.org\x26sa\x3dD\x26sntz\x3d1\x26usg\x3dAFQjCNH9TqT3I3egBHz96yb8PN-yGYbHgA&#39;;return true;" onclick="this.href=&#39;http://www.google.com/url?q\x3dhttp%3A%2F%2Fissues.scala-lang.org\x26sa\x3dD\x26sntz\x3d1\x26usg\x3dAFQjCNH9TqT3I3egBHz96yb8PN-yGYbHgA&#39;;return true;">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: <a href="https://gist.github.com/Kwestor/f26ea973e3b0a8730c9a62ca8ea95584" rel="nofollow" target="_blank" onmousedown="this.href=&#39;https://www.google.com/url?q\x3dhttps%3A%2F%2Fgist.github.com%2FKwestor%2Ff26ea973e3b0a8730c9a62ca8ea95584\x26sa\x3dD\x26sntz\x3d1\x26usg\x3dAFQjCNHteMh_1CVUUiHfQvAixEswo2pSrA&#39;;return true;" onclick="this.href=&#39;https://www.google.com/url?q\x3dhttps%3A%2F%2Fgist.github.com%2FKwestor%2Ff26ea973e3b0a8730c9a62ca8ea95584\x26sa\x3dD\x26sntz\x3d1\x26usg\x3dAFQjCNHteMh_1CVUUiHfQvAixEswo2pSrA&#39;;return true;">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

--
You received this message because you are subscribed to the Google Groups "scala-internals" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [hidden email].
For more options, visit https://groups.google.com/d/optout.
Reply | Threaded
Open this post in threaded view
|

Re: Compiler crash with Dynamic and implicits

som-snytt

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

On Tuesday, November 15, 2016 at 9:41:00 PM UTC-8, som-snytt wrote:

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.

On Monday, November 14, 2016 at 11:03:34 AM UTC-8, Jerzy Muller wrote:
+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 <a href="http://issues.scala-lang.org" rel="nofollow" target="_blank" onmousedown="this.href=&#39;http://www.google.com/url?q\x3dhttp%3A%2F%2Fissues.scala-lang.org\x26sa\x3dD\x26sntz\x3d1\x26usg\x3dAFQjCNH9TqT3I3egBHz96yb8PN-yGYbHgA&#39;;return true;" onclick="this.href=&#39;http://www.google.com/url?q\x3dhttp%3A%2F%2Fissues.scala-lang.org\x26sa\x3dD\x26sntz\x3d1\x26usg\x3dAFQjCNH9TqT3I3egBHz96yb8PN-yGYbHgA&#39;;return true;">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: <a href="https://gist.github.com/Kwestor/f26ea973e3b0a8730c9a62ca8ea95584" rel="nofollow" target="_blank" onmousedown="this.href=&#39;https://www.google.com/url?q\x3dhttps%3A%2F%2Fgist.github.com%2FKwestor%2Ff26ea973e3b0a8730c9a62ca8ea95584\x26sa\x3dD\x26sntz\x3d1\x26usg\x3dAFQjCNHteMh_1CVUUiHfQvAixEswo2pSrA&#39;;return true;" onclick="this.href=&#39;https://www.google.com/url?q\x3dhttps%3A%2F%2Fgist.github.com%2FKwestor%2Ff26ea973e3b0a8730c9a62ca8ea95584\x26sa\x3dD\x26sntz\x3d1\x26usg\x3dAFQjCNHteMh_1CVUUiHfQvAixEswo2pSrA&#39;;return true;">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

--
You received this message because you are subscribed to the Google Groups "scala-internals" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [hidden email].
For more options, visit https://groups.google.com/d/optout.
Reply | Threaded
Open this post in threaded view
|

Re: Compiler crash with Dynamic and implicits

Lukas Rytz-2
In reply to this post by Jerzy Muller
logged at https://issues.scala-lang.org/browse/SI-10066

On Monday, November 14, 2016 at 8:03:36 PM UTC+1, Jerzy Muller wrote:
+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 <a href="http://issues.scala-lang.org" target="_blank" rel="nofollow" onmousedown="this.href=&#39;http://www.google.com/url?q\x3dhttp%3A%2F%2Fissues.scala-lang.org\x26sa\x3dD\x26sntz\x3d1\x26usg\x3dAFQjCNH9TqT3I3egBHz96yb8PN-yGYbHgA&#39;;return true;" onclick="this.href=&#39;http://www.google.com/url?q\x3dhttp%3A%2F%2Fissues.scala-lang.org\x26sa\x3dD\x26sntz\x3d1\x26usg\x3dAFQjCNH9TqT3I3egBHz96yb8PN-yGYbHgA&#39;;return true;">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: <a href="https://gist.github.com/Kwestor/f26ea973e3b0a8730c9a62ca8ea95584" rel="nofollow" target="_blank" onmousedown="this.href=&#39;https://www.google.com/url?q\x3dhttps%3A%2F%2Fgist.github.com%2FKwestor%2Ff26ea973e3b0a8730c9a62ca8ea95584\x26sa\x3dD\x26sntz\x3d1\x26usg\x3dAFQjCNHteMh_1CVUUiHfQvAixEswo2pSrA&#39;;return true;" onclick="this.href=&#39;https://www.google.com/url?q\x3dhttps%3A%2F%2Fgist.github.com%2FKwestor%2Ff26ea973e3b0a8730c9a62ca8ea95584\x26sa\x3dD\x26sntz\x3d1\x26usg\x3dAFQjCNHteMh_1CVUUiHfQvAixEswo2pSrA&#39;;return true;">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

--
You received this message because you are subscribed to the Google Groups "scala-internals" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [hidden email].
For more options, visit https://groups.google.com/d/optout.
Reply | Threaded
Open this post in threaded view
|

Re: Compiler crash with Dynamic and implicits

Jerzy Muller
Thanks!

--
You received this message because you are subscribed to the Google Groups "scala-internals" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [hidden email].
For more options, visit https://groups.google.com/d/optout.