14.65 lgwam: Probably mistakenly unfit due to header

Prev Up Next 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.

Prev Up Next Page 536 of 800 Search logiweb.eu

Copyright © 2010 Klaus Grue, GRD-2010-01-05