Re: [isabelle] Problem with Scala code generation

Hi René,

> 2) If I try to extract full IsaFoR, then an additional error occurs:
> Ceta.scala:4887: error: Implementation restriction: case classes cannot have more than 22 parameters.

Wow!  How does your logic specification and your Scala code look like?
Maybe something can be done by tweaking the specification…



PGP available:

Attachment: signature.asc
Description: OpenPGP digital signature

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