actually compile functions when resolving their implementation