separate compilation without errors and warnings, including ml