Executables ignore RTS args on command line

6 views
Skip to first unread message

Ben Lippmeier

unread,
Apr 10, 2018, 7:05:28 AM4/10/18
to Matthew Yu, discu...@googlegroups.com

As with GHC compiled programs, DDC compiled programs now know the difference between user program args and runtime system args. We separate the user args from the runtime system args with the special +RTS flag like so:

> someBinary user_arg0 user_arg1 user_arg2 +RTS run_arg0 run_arg2

The System.Env module in the base library includes functions to get either set:

env_getArgs: S Env (Map Fun Nat Text)
env_getRuntimeArgs: S Env (Map Fun Nat Text)

Check out the declarations of these functions to see how to use the primitives directly.

Cheers,
Ben.




Reply all
Reply to author
Forward
0 new messages