Email Gateway (Aug 19 2022 at 12:40): Email Gateway (Aug 19 2022 at 12:40):From: Peter Lammich <lammich@in.tum.de>
Hi,
the order of serialization of "code_printing code_module" seems to be
documented nowhere. The implementation seems to order the modules
alphabetically by name.
My current application relies on the ordering of serialization, as
code_modules depend on other code_modules. Thus, two questions:
1) What is the ordering? Can I rely on alphabetical ordering?
2) Can I influence the ordering by somehow declaring the dependencies
between the code_modules?
Email Gateway (Aug 19 2022 at 12:44):From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
Hi Peter,
My current application relies on the ordering of serialization, as
code_modules depend on other code_modules. Thus, two questions:1) What is the ordering? Can I rely on alphabetical ordering?
It has never been specified; all kind of dependency management while
printing code relies on Graph.strong_conn, and I guess it falls back on
the critical order of strings when now other constraints are involved.
2) Can I influence the ordering by somehow declaring the dependencies
between the code_modules?
There is currently the possibility to make code_modules depend on the
presence of certain constants, and maybe a slight extension could also
dependencies of modules. I will think about it.
Cheers,
Florian
Last updated: Apr 24 2024 at 20:16 UTC