|Page 537 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 it calls a non-eager function.
The 'eager define' macro adds a 'norm' operator as principle operator so the problem typically occurs when using 'eager define' to define a function which is unfit for optimization. Alternatively, the error may occur 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 537 of 800||Search logiweb.eu|