Details
-
Bug
-
Status: Closed
-
Major
-
Resolution: Fixed
-
None
-
None
-
None
Description
Annotate user-defined functions as strict and semi-strict.
Definitions:
- A strict function returns null if and only if one or more of its arguments are null.
- A semi-strict function returns null if one or more of its arguments are null.
The code generator should use these annotations to generate more efficient code.