Re: [isabelle] Isabelle_17-Jan-2013 scala code export changes



Hi,

thanks for the answers.


Makarius wrote:
> That was a leaked test of packaging, before the start of release candidates for Isabelle2013.
I just tested on Isabelle2013-RC2. Thanks for the info.

Isabelle2013-RC2 test results:
  No major issues, the only broken thing is
  sledgehammer_params[isar_proof=true]
  No big deal ...


Florian Haftmann wrote:
>> Regarding code export for Scala, why are the case objects gone?
>> For example
>> 2012: final case object One extends num
>> 2013: final case class One() extends num
>
> scala 2.10 won't accept these.  You can try yourself by generating scala
> code with Isabelle2012 and try to compile it under the scala version
> bundled with the upcoming Isabelle2013.

I tested the following code
object Num {

abstract sealed class num
final case object One extends num
//final case class One() extends num
final case class Bit0(a: num) extends num
final case class Bit1(a: num) extends num

} /* object Num */

object Hi {
	def main(args: Array[String]) = println("Hi, this is scala
"+util.Properties.versionString+" test: '"+Num.One+"'")
}

The commented version is generated by Isabelle2013-RC2.

Output: Hi, this is scala version 2.10.0 test: 'One'

Both, versions, 2012 and 2013 examples work in scala 2.10.0.
Why should scala 2.10 reject my Isabelle 2012 case objects? I can't
find my fallacy ....



Regards
  Cornelius





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.