command-line - シングルアサインメントC（SAC）でargv / argcにアクセスするにはどうすればよいですか？

Question

文字列のSAC配列ですかargv、それとも従来のC文字列配列ですか？

ドキュメントにはCommandLine.sacがありますが、SACのAPIの使用方法がわかりません。

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