Description
Z506 / Argument type mismatch and Z517 / Return type mismatch are error types that can result from specific function calls. When an instance of one of these error types gets reported back to a user, it may not be clear to the user which function call led to the error. (In many cases, it will be implicitly clear from context, but not always. For example, a top-level call to a composition function can involve calls to many nested functions.) Thus, it will be helpful in such cases to report back to the user which function call led to the error.
- Consider adding a key to Z506 and to Z517 to report either the entire function call, or the called function's identity.
- If that is done, upgrade each usage of those 2 error types in the orchestrator to employ the new key.
- If that is done, upgrade each usage of those 2 error types in the evaluator, if any, to employ the new key.
Completion checklist
- Before closing this task, review one by one the checklist available here: https://www.mediawiki.org/wiki/Abstract_Wikipedia_team/Definition_of_Done#Back-end_Task/Bug_completion_checklist