Oh. I should say what I mean by a compile-time constant function.

A compile time constant function is one that:

a) is pure
b) terminates [conservatively]
c) transitively calls only compile-time constant functions

These constraints *should* be sufficient to make calling such a function at
compile time safe.
_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev

Reply via email to