oh, not that I don't see your points about it not being a pragma, I just
wanted to point to some previous work on the matter. All I know for sure
is {-# OPTIONS ... #-} is not a very good solution :)
John
--
John Meacham - ⑆repetae.net⑆john⑈