Simon Marlow simonmar@microsoft.com
Mon, 13 Aug 2001 13:04:17 +0100

> 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.