Как вы получаете доступ к argv / argc в Single Assignment C (SAC)?

Question

Является ли argv массивом строк SAC или традиционным массивом строк C?

В документации есть CommandLine.sac , но я понятия не имею, как использовать API SAC.

Answer 1

В версии (1.0) вы можете использовать функцию argv (1).

$ cat args.sac
use StdIO: all;
use Array: all;
use CommandLine: all;

int main() {
    printf("Test: %s\n", argv(1));

    return(0);
}
$./args hello
$ Test: hello

Answer 2

SAC не выполняет ни одного (на самом деле хуже): SAC предоставляет argv() в модуле CommandLine, возвращая строку со всеми объединенными аргументами:

$ cat args.sac
use StdIO: all;
use Array: all;
use CommandLine: all;

int main() {
    printf("%s\n", argv());

    return(0);
}
$ sac2c -o args args.sac
$ ./args a b c
./args a b c