Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] [ExternalEmail] setup_lifting without code gen


view this post on Zulip Email Gateway (Aug 22 2022 at 16:38):

From: Gerwin.Klein@data61.csiro.au
Answering my own question, there seems to be a somewhat distasteful hack that does make it work: use datatype_compat after lifting_setup. That looks like it does overwrite the code generator setup yet again.

If anyone has a better solution that doesn’t produce 3 code generator setups, I’d still be interested.

Cheers,
Gerwin


Last updated: Mar 29 2024 at 04:18 UTC