The ordering of toplevel functions in the source file should be the ordering in which the functions are emitted in the object file, so people can re-order functions as they wish to help cache locality. At present, anonymous functions (whose symbol names include locations generated by Flambda) break this, and even changes such as removing a comment can lead to highly unexpected effects.
chambart
commented
8 years ago
The ordering of toplevel functions in the source file should be the ordering in which the functions are emitted in the object file, so people can re-order functions as they wish to help cache locality. At present, anonymous functions (whose symbol names include locations generated by Flambda) break this, and even changes such as removing a comment can lead to highly unexpected effects.