Kees, the strange symbols are escape codes for coloring the output. Newer GHCs color the error messages, and what you see is when GHC thinks it prints to a color terminal but the terminal can not handle colors. I don't know how to switch that off, though. Olaf