Bug fix in reading of RC arguments

curry2prolog/c2p.pl

@@ -103,7 +103,7 @@ pakcsMain :-
 pakcsMain :- halt(1).  % halt if failure (in parameters) occurred
 
 
-% extract all run-time arguments of the form "-Dname=value" as a property list:
+% extract the initial arguments of the form "-Dname=value" as a property list:
 processDArgs([],[],[]).
 processDArgs([Arg|DArgs],[prop(Name,Val)|Props],Args) :-
 	atom_codes(Arg,[45,68|Def]), !, % [45,68] = "-D"
@@ -111,8 +111,7 @@ processDArgs([Arg|DArgs],[prop(Name,Val)|Props],Args) :-
 	atom_codes(Name,NameS),
 	atom_codes(Val,ValS),
 	processDArgs(DArgs,Props,Args).
-processDArgs([Arg|DArgs],Props,[Arg|Args]) :-
-	processDArgs(DArgs,Props,Args).
+processDArgs(Args,Props,Args).
 
 % process the remaining run-time arguments:
 processArgs([]).

docs/src/usage.tex

@@ -48,21 +48,22 @@ starts \CYS, loads the main module \code{Mod}, creates an executable,
 and terminates \CYS. This invocation could be useful in ``make'' files
 for systems implemented in Curry.
 
-There are also some specific options that can be used
+There are also some additional options that can be used
 when invoking \CYS:
 \begin{description}
-\item[\code{-q} or \code{--quiet}:]
-With this option, \CYS works silently, i.e., the initial banner
-and the input prompt are not shown.
-The output of other information is determined by the options
-\ccode{verbose} and \ccode{v$n$} (see Section~\ref{sec:options}).
-\item[\code{--noreadline}:]
+\item[\fbox{\code{--noreadline}}] (if used, this must be the first option):
 Do not use input line editing (see Section~\ref{sec:readline}).
-\item[\code{-Dname=val}:]
+\item[\fbox{\code{-Dname=val}}]
+(these options must come before any \CYS command):
 Overwrite values defined in the configuration file \ccode{.pakcsrc}
 (see Section~\ref{sec-customization}),
 where \code{name} is a property defined in the configuration file
 and \code{val} its new value.
+\item[\fbox{\code{-q}} or \fbox{\code{--quiet}}]:
+With this option, \CYS works silently, i.e., the initial banner
+and the input prompt are not shown.
+The output of other information is determined by the options
+\ccode{verbose} and \ccode{v$n$} (see Section~\ref{sec:options}).
 \end{description}