[isabelle] Code generation for sets (in the development version)



Hi all,


on a fairly recent development version of Isabelle (bd03e0890699), I cannot generate code for sets due a module dependency cycle.

The problem boils down to:

export_code List.map_project Set.union in SML file -


Any suggestions how to avoid it or fix it?

By the way, code generation for sets now works nicely (besides this error). Thanks, Florian. Keep up the work!


Lukas







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