------- Comment #4 from jvdelisle at gcc dot gnu dot org 2009-08-30 18:15 ------- Strictly speaking, Steve, I think you are correct.
I have not finished my review of the standard. This is the first time I have seen namelist used like this for command line input. I suspect because it allows one to try many variations easily it will be a useful quick test tool. The embedded comment seems natural and in our code base we have a comment asking, should we allow '!' as a separator as an extension. We have thought about this issue before. I am going to give it some thinking time before doing anything here. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41192
