Currently --RTS option for a program compiled with ghc means that all the following arguments are passed to the program, even if they are +RTS and -RTS.

IMHO -- should act like --RTS too.

Imagine a utility like Unix ls written in Haskell. If someone invokes it ls -- "$FILENAME" he means that "$FILENAME" is a filename. He shouldn't care that it's written in Haskell and be forced to write ls --RTS -- "$FILENAME" as currently. If it's not an option for the program, it's certainly not an option for its runtime.

--RTS can be retained in case one really wants to invoke the program with arguments +RTS (and not -- +RTS).

PS. +RTS -h has an out of date description of -M.

Done. Simon