Commit 7bdf06ed authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-06-08 23:58:49 by cvscast] Empty log message

Original author: cvscast
Date: 2003-06-08 23:58:49+00:00
parent b3cdf2c3
.\" This manpage has been automatically generated by docbook2man .TH "CDUCE" "1" "09 June 2003" "" ""
.\" from a DocBook document. This tool can be found at:
.\" <http://shell.ipoline.com/~elmert/comp/docbook2X/>
.\" Please send any bug reports, improvements, comments, patches,
.\" etc. to Steve Cheng <steve@ggi-project.org>.
.TH "CDUCE" "1" "09 giugno 2003" "" ""
.SH NAME .SH NAME
cduce \- The CDuce interpreter cduce \- The CDuce interpreter
...@@ -22,7 +17,7 @@ passed to the source file(s). ...@@ -22,7 +17,7 @@ passed to the source file(s).
If no CDuce file is given on the command line If no CDuce file is given on the command line
then the interpreter uses the standard input and behaves as an interactive then the interpreter uses the standard input and behaves as an interactive
toplevel. Toplevel phrases are processed after each \fB;;\fR. Mutually recursive declarations of types or functions must be contained in a single adjacent sequence of phrases (without \fB;;\fR inbetween). toplevel. Toplevel phrases are processed after each \fB;;\fR. Mutually recursive declarations of types or functions must be contained in a single adjacent sequence of phrases (without \fB;;\fR inbetween).
In order to allow persistence (option \fB--dump\fR, \fB--load\fR, and \fB--save\fR) to operate, you must quit the toplevel with \fBCtrl-D\fR and not \fBCtrl-C\fR. In order to allow persistence (options \fB--dump\fR, \fB--load\fR, and \fB--save\fR) to operate, you must quit the toplevel with \fB#quit\fR toplevel directive and not with \fBCtrl-D\fR or \fBCtrl-C\fR.
.SH "OPTIONS" .SH "OPTIONS"
.PP .PP
This program follows usual syntax, This program follows usual syntax,
......
...@@ -39,7 +39,7 @@ If no CDuce file is given on the command line ...@@ -39,7 +39,7 @@ If no CDuce file is given on the command line
then the interpreter uses the standard input and behaves as an interactive then the interpreter uses the standard input and behaves as an interactive
toplevel. Toplevel phrases are processed after each <command>;;</command>. Mutually recursive declarations of types or functions must be contained in a single adjacent sequence of phrases (without <command>;;</command> inbetween). toplevel. Toplevel phrases are processed after each <command>;;</command>. Mutually recursive declarations of types or functions must be contained in a single adjacent sequence of phrases (without <command>;;</command> inbetween).
In order to allow persistence (option <option>--dump</option>, <option>--load</option>, and <option>--save</option>) to operate, you must quit the toplevel with <command>Ctrl-D</command> and not <command>Ctrl-C</command>. In order to allow persistence (options <option>--dump</option>, <option>--load</option>, and <option>--save</option>) to operate, you must quit the toplevel with <command>#quit</command> toplevel directive and not with <command>Ctrl-D</command> or <command>Ctrl-C</command>.
</para> </para>
</refsect1> </refsect1>
......
...@@ -147,16 +147,16 @@ must be contained in a single adjacent sequence of phrases ...@@ -147,16 +147,16 @@ must be contained in a single adjacent sequence of phrases
</p> </p>
<p> <p>
You can quit the toplevel with either the toplevel directive You can quit the toplevel with the toplevel directive
<code>#quit</code> are one of <code>Ctrl-C</code> or <code>#quit</code> but also with either <code>Ctrl-C</code> or
<code>Ctrl-D</code>. In order to allow persistence <code>Ctrl-D</code>. In order to allow persistence
(option <code>--dump</code> to operate, (option <code>--dump</code>) to operate,
you must quit the toplevel with <code>#quit</code>. you must quit the toplevel with <code>#quit</code>.
</p> </p>
<p> <p>
The topelevel directive <code>#env</code> prints the current The topelevel directive <code>#env</code> prints the current
environment (global types and values). environment (that is, the set of defined global types and values).
</p> </p>
<p> <p>
......
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