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.