28 Aug
2018
28 Aug
'18
2:49 p.m.
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