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

Hi Cornelius,

> 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.

If you have a more convenient solution to the problem, just tell here.



PGP available:

Attachment: signature.asc
Description: OpenPGP digital signature

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