It looks like this compiler never actually reports any errors. (It uses the Maybe type, so you just get nothing.)

I appreciate that it's a toy compiler, but I really wish people wouldn't leave that out. The quality of a compiler's user interface almost entirely depends on its error messages, so it's important to demonstrate how that's done.