> I get this when I "+RTS -h" one of my programs... >=20 > what does it mean? It means you should report a bug :-) Simon