I did try with inlining (have a recent thread abou...
# announcements
l
I did try with inlining (have a recent thread about this), but compilation time took way too much (it actually didn't finish in an hour, then I gave up)