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