POPL Pascal Exercise 6 update