pure functions calling impure functions at compile-time

[bearophile]

Simen Kjaeraas:

> Should this be filed as a bug, or is the plan that only pure 
> functions be
> ctfe-able? (or has someone already filed it, perhaps)

It's already in Bugzilla, see issue 7994 and 6169.

But I think there is a semantic hole in some of the discussions 
about this problem. Is a future compile-time JIT allowed to 
perform purity-derived optimizations in CTFE?

Bye,
bearophile