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