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



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

The problems start when polymorphism comes in.  Take the examples from
HOL/ex/Codegenerator_Test, there they occur definitely.

	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.