From 3bca9a5dd50b6ccd0bdb482911f597c9182aa17d Mon Sep 17 00:00:00 2001 From: Doni Pracner Date: Sat, 20 Jan 2018 15:56:32 +0100 Subject: [PATCH] wsl scripts, new ARGV handling FermaT has changed @Argv to ARGV for better compatibility with Scheme implementations. Therefore a change was needed in the scripts that use command line arguments. --- src-wsl/metrics.wsl | 2 +- src-wsl/transf-exp.wsl | 2 +- src-wsl/transf-min.wsl | 2 +- src-wsl/transf-stack.wsl | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src-wsl/metrics.wsl b/src-wsl/metrics.wsl index d563847..b73a466 100644 --- a/src-wsl/metrics.wsl +++ b/src-wsl/metrics.wsl @@ -106,7 +106,7 @@ VAR< prog := < >, filename:="", filename2 := "", metrics := < >, met2 := < >, opened := 0, - Argv := @Argv + Argv := ARGV >: C:"First one is the script name that is being executed"; Argv := TAIL(Argv); diff --git a/src-wsl/transf-exp.wsl b/src-wsl/transf-exp.wsl index b198640..d4b7d32 100755 --- a/src-wsl/transf-exp.wsl +++ b/src-wsl/transf-exp.wsl @@ -182,7 +182,7 @@ END; C:"Main program - processes the arguments"; VAR< prog := < >, inifilename := "transf.ini", filename:="", file := "", inifile:= "", - Argv := @Argv + Argv := ARGV >: C:"First one is the script name that is being executed"; Argv := TAIL(Argv); diff --git a/src-wsl/transf-min.wsl b/src-wsl/transf-min.wsl index d3d0106..5086bc6 100755 --- a/src-wsl/transf-min.wsl +++ b/src-wsl/transf-min.wsl @@ -123,7 +123,7 @@ END; VAR< prog := < >, inifilename := "transf.ini", filename:="", file := "", inifile:= "", - Argv := @Argv + Argv := ARGV >: C:"First one is the script name that is being executed"; Argv := TAIL(Argv); diff --git a/src-wsl/transf-stack.wsl b/src-wsl/transf-stack.wsl index 5f277da..325f8ec 100755 --- a/src-wsl/transf-stack.wsl +++ b/src-wsl/transf-stack.wsl @@ -113,7 +113,7 @@ END; VAR< prog := < >, inifilename := "transf.ini", filename:="", file := "", inifile:= "", - Argv := @Argv + Argv := ARGV >: C:"First one is the script name that is being executed"; Argv := TAIL(Argv); -- 2.17.1