Exercise 1.6

The program will not halt. The first call to new-if will start by evaluating both arguments. But the second argument (the sqrt-iter call) calls new-if, which starts by evaluating both arguments. But again, the second argument (the sqrt-iter call) calls new-if, which starts by evaluating both arguments. And so forth.