let result_compile file r = if r<>0 then Task.failed "Compilation of '%s' failed" file else Task.return ()