Am 25.04.2017 um 11:06 schrieb Manuel Eberl: > I think you actually solved that problem by now. If I recall correctly, > it was one of the two dictionary-related problems I told you about a > year ago or so, and then Lars and you solved that problem somehow. > > I can try putting in that code equation again and seeing what happens.
Excellent, thanks.
Florian
>
>
>>> (*TODO: This code equation breaks Scala code generation in
>>> HOL-Codegenerator_Test. We have to figure out why and how to prevent that.
>>> *)
>
> Manuel
> _______________________________________________
> isabelle-dev mailing list
> isabelle-...@in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
>
--
PGP available:
http://isabelle.in.tum.de/~haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
