resolving compilations