|Page 535 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 for some reason. The problem is not in the function itself but the compiler is unable to dig up any clues.
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 535 of 800||Search logiweb.eu|