Better don't rely too much on the compiler's checks and warnings in a programming course, to train yourself to be more careful.
Your adivce is certainly well meant, but I love a compiler to have strong warnings.
Comes in quite handy sometimes.
Mentioning the course was misleading, for I started coding in 1980 and did quite some Pascal in the past, until I switched to C++ in 1990.
Learnt UCSD Pascal on Apple ][ in 1982 (a Jensen/Wirth should be in some box in my cellar), Kyan Pascal, Turbo Pascal, Borland Pascal.
Even managed to annoy Wirth himself, when I studied physics in Aachen - he gave a talk on his new Oberon stuff and I could not keep my mouth shut. :)
Regards, Marc