Am 27.12.2011 20:35, Vladimir Panteleev wrote: > Halting problem? Makes an not-stopping pure function really sense? If you evaluate a function creating an infinite loop at compile-time, you get for sure in this state. Then, the compiler could stop the evaluation after some time and print an error/warning or creates runtime code.