[PEAK] peak.security weirdness
simon.belak at hruska.si
Fri Jan 20 13:50:15 EST 2006
Phillip J. Eby wrote:
> It would be more precise to say that every subexpression is evaluated
> immediately unless it depends on the value of a function argument. All
> other subexpressions are constant-folded away, except for zero-argument
> function calls, which are assumed to be getters for some dynamic state.
> All expressions defined by any rule are computed at most once per dispatch.
So, in a rule such as:
isinstnace(foo, int) and bar() and baz()
baz() and bar() would be immediately evaluated and resulting values
constant-folded, reducing the rule to
isinstnace(foo, int) and [some_constant]
More information about the PEAK