You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Functions that return undefined (e.g. function f() { return undefined; }, or function f() {} ) give a rather verbose error as follows when apply0ed;
It would be desireable to either have: a dedicated error for a function returning undefined, rather than a translation error occuring (e.g. 'error: function returned undefined instead of a value'); or for an explicit 'undefined' singleton to be the output instead of erroring, allowing for logic such as equals(f(), undefined) on the InDy side.
The text was updated successfully, but these errors were encountered:
Issue type:
Short description:
Functions that return undefined (e.g.
function f() { return undefined; }
, orfunction f() {}
) give a rather verbose error as follows whenapply0
ed;It would be desireable to either have: a dedicated error for a function returning undefined, rather than a translation error occuring (e.g. 'error: function returned undefined instead of a value'); or for an explicit 'undefined' singleton to be the output instead of erroring, allowing for logic such as
equals(f(), undefined)
on the InDy side.The text was updated successfully, but these errors were encountered: