|Page 536 of 800||Search internet|
Origin: lgwam. Landing-place: terminal.
A definition looks as if it was intended to define an eager function because the right hand side of the definition has 'norm' as its principal operator. However, the function is unfit for optimization because the function does not start the right way (which is to evaluate parameters one by one and relay exceptions).
The 'eager define' macro generates a correct header so the present error message only occurs when somebody try to make hand-made optimizable functions or when somebody makes a perfectly valid definition of a non-eager function which happens to have 'norm' as its principal operator. The 'Probably' in the error message refers to the latter possibility.
|Page 536 of 800||Search logiweb.eu|