Commit efa9227f authored by Michael Hanus 's avatar Michael Hanus
Browse files

Correct documentation of libraries

parent fa2c0df4
...@@ -381,35 +381,28 @@ following term: ...@@ -381,35 +381,28 @@ following term:
\newcommand{\curryfuncsig}[2]{{\tt #1~::~#2}} \newcommand{\curryfuncsig}[2]{{\tt #1~::~#2}}
\subsection{General Libraries} \subsection{System Libraries}
\input{lib/Char} \input{lib/Control.Applicative}
\input{lib/Debug} \input{lib/Control.Monad}
\input{lib/Directory} \input{lib/Data.Char}
\input{lib/Distribution} \input{lib/Data.Either}
\input{lib/Either} \input{lib/Data.Function}
\input{lib/ErrorState} \input{lib/Data.Functor.Identity}
\input{lib/FileGoodies} \input{lib/Data.IORef}
\input{lib/FilePath} \input{lib/Data.List}
\input{lib/Float} \input{lib/Data.Maybe}
\input{lib/Function} \input{lib/Debug.Trace}
\input{lib/FunctionInversion} \input{lib/Numeric}
\input{lib/GetOpt} \input{lib/Prelude}
\input{lib/Global} \input{lib/System.Console.GetOpt}
\input{lib/Integer} \input{lib/System.CPUTime}
\input{lib/IO} \input{lib/System.Environment}
\input{lib/IOExts} \input{lib/System.IO}
\input{lib/List} \input{lib/System.IO.Unsafe}
\input{lib/Maybe}
\input{lib/Read}
\input{lib/ReadNumeric}
\input{lib/ReadShowTerm}
\input{lib/Sort}
\input{lib/State}
\input{lib/System}
\input{lib/Time}
\input{lib/Unsafe}
\input{lib/Test.Prop} \input{lib/Test.Prop}
\input{lib/Test.Prop.Types}
\input{lib/Text.Show}
} % end setlength parindent } % end setlength parindent
......
...@@ -78,7 +78,7 @@ The output of other information is determined by the options ...@@ -78,7 +78,7 @@ The output of other information is determined by the options
One can also invoke \CYS with some run-time arguments One can also invoke \CYS with some run-time arguments
that can be accessed inside a Curry program that can be accessed inside a Curry program
by the I/O operation \code{getArgs} by the I/O operation \code{getArgs}
(see library \code{System} (Section~\ref{Library:System}). (see library \code{System} (Section~\ref{Library:System.Environment}).
These run-time arguments must be written at the end after These run-time arguments must be written at the end after
the separator \ccode{--}. the separator \ccode{--}.
For instance, if \CYS is invoked by For instance, if \CYS is invoked by
...@@ -516,7 +516,7 @@ For instance, setting the option ...@@ -516,7 +516,7 @@ For instance, setting the option
:set args first second :set args first second
\end{curry} \end{curry}
has the effect that the I/O operation \code{getArgs} has the effect that the I/O operation \code{getArgs}
(see library \code{System} (Section~\ref{Library:System}) (see library \code{System} (Section~\ref{Library:System.Environment})
returns the value \code{["first","second"]}. returns the value \code{["first","second"]}.
\end{description} \end{description}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment