Rather than using String, there should be an actual warning type.
The formatting of the warnings should be a lot better.
There should be some tests for the warnings.
Some things that silently do nothing now should probably emit warnings. For example if you use an unknown pragma, currently it does nothing. Perhaps it should emit a warning.
Actually I think it would be better to add a MonadWarn class. That way I can write tests against actual warnings, rather than their stringified representations.
Fixes #80.
This still needs some work.
String
, there should be an actual warning type.