I think that’s because it increases compile time, but compiled code is faster when you use a lot of modules and functors (example with a speed up factor of 20). There has been amelioration since 4.03 but it may not be sufficient. You may find useful informations on this topic in this discussion on Jane Street blog.
1 Like