Issue warning is -main-is is used in OPTIONS pragma
#2710 (closed) notes that
-main-is does not currently work in an
OPTIONS pragma. However, in thomie and my opinion
-rtsopts, the various way options (e.g.
-prof, etc.), etc. have no sensible interpretation in this context.
I suggest that they should be ignored and we should throw a warning when they are encountered.