void check_resolve() { checkResolveRemovedPrims(); check_afterEveryPass(); check_afterNormalization(); checkReturnTypesHaveRefTypes(); checkAutoCopyMap(); }
// Checks that should remain true after the functionResolution pass is complete. static void check_afterResolution() { checkReturnTypesHaveRefTypes(); if (fVerify) { checkTaskRemovedPrims(); checkResolveRemovedPrims(); // Disabled for now because user warnings should not be logged multiple times: // checkResolved(); // Disabled for now because it does not hold when named externs are present. // See test/extern/hilde/namedExtern.chpl. // checkNoUnresolveds(); checkFormalActualBaseTypesMatch(); checkRetTypeMatchesRetVarType(); checkAutoCopyMap(); } }