Re: [isabelle] Scala code generator generates ill-typed code from subtraction of n-ary functions



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi Florian,

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

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.

Cheers,

Christoph

- -- 
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.
  http://cicm-conference.org/2013/
→ 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.
  http://cs.bham.ac.uk/research/projects/formare/pubs/mcs-doform/
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.20 (GNU/Linux)
Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/

iEYEARECAAYFAlHXYkIACgkQvqg+op3jsjNpogCgsuH2r1e5AAVKu+6VwJcz/uqf
KzgAn0HA2yvyLcAf1Pb/dqK0a4tiJ+mY
=jwla
-----END PGP SIGNATURE-----




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