--RTS
Marcin 'Qrczak' Kowalczyk
qrczak@knm.org.pl
8 Aug 2001 20:07:40 GMT
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.
--
__("< Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/
\__/
^^ SYGNATURA ZASTĘPCZA
QRCZAK