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.

Cheers,
	Florian

-- 

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de



Attachment: signature.asc
Description: OpenPGP digital signature



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