As an aside, android-sdk-plugin does support retrolambda automatically. I have not tried it in conjunction with scala 2.12 to see if it makes it compatible for android, however.
On Sat, May 16, 2015, 5:34 AM Samuel Tardieu <s...@rfc1149.net> wrote: > Not necessarily: > > - Future Android versions may be compatible with Java 8, but that > would prevent you from being compatible with older Android devices (as Java > developers willing to use Java 8 cannot be compatible with them). > - You can try and integrate retrolambda > <https://github.com/orfjackal/retrolambda> into the build system but > some constructs from Java 8 would still not be available, and it would > require a careful observation of which Java 8 bytecode are used by the > Scala compiler. > > Sam > > 2015-05-16 13:50 GMT+02:00 Graham Pople <grahampo...@gmail.com>: > >> >> If I understand http://www.scala-lang.org/news/2.12.0-M1 correctly, >> "Programs written in Scala 2.12, including the Scala 2.12 compiler, can >> only be executed on Java 8 or newer." >> >> That excludes Android, no? >> >> What are the community's thoughts on this? Is scala-on-android doomed to >> be stuck on Scala 2.11 indefinitely? >> >> -- >> You received this message because you are subscribed to the Google Groups >> "scala-on-android" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to scala-on-android+unsubscr...@googlegroups.com. >> For more options, visit https://groups.google.com/d/optout. >> > > -- > You received this message because you are subscribed to the Google Groups > "scala-on-android" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to scala-on-android+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "scala-on-android" group. To unsubscribe from this group and stop receiving emails from it, send an email to scala-on-android+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.