// 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(); } }
void check_createTaskFunctions() { checkTaskRemovedPrims(); check_afterEveryPass(); check_afterNormalization(); }