Re: [isabelle] Scala code generator generates ill-typed code from subtraction of n-ary functions
-----BEGIN PGP SIGNED MESSAGE-----
2013-07-05 18:29 Florian Haftmann:
> I have identified the issue; it will not show up in the next
> Isabelle release.
Great, thank you very much!
> The issue occurs whenever there is a class parameter of type … =>
> 'a, and a corresponding dictionary is needed for a function type
> instance. Maybe there is a chance to work around this in your
Indeed there is: I had already found a workaround when reporting the
bug; the workaround is sketched at the bottom of my initial email. So
there is no need for a custom patch, at least not from my side.
Christoph Lange, School of Computer Science, University of Birmingham
http://cs.bham.ac.uk/~langec/, Skype duke4701
→ Intelligent Computer Mathematics, 8–12 July, Bath, UK.
→ Modular Ontologies (WoMO), 15 September, Corunna, Spain.
Submission until 12 July; http://www.iaoa.org/womo/2013.html
→ Knowledge and Experience Management, 7-9 October, Bamberg, Germany.
Submission until 15 July; http://minf.uni-bamberg.de/lwa2013/cfp/fgwm/
→ Mathematics in Computer Science Special Issue on “Enabling Domain
Experts to use Formalised Reasoning”; submission until 31 October.
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.20 (GNU/Linux)
Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/
-----END PGP SIGNATURE-----
This archive was generated by a fusion of
Pipermail (Mailman edition) and