Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
Commits
1d92f641
Commit
1d92f641
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2003-05-26 21:05:59 by cvscast] update manual
Original author: cvscast Date: 2003-05-26 21:05:59+00:00
parent
47f8c8f7
Changes
1
Hide whitespace changes
Inline
Side-by-side
web/manual/interpreter.xml
View file @
1d92f641
...
...
@@ -50,7 +50,7 @@ scripts, which are executed successively.</li>
<p>
CDuce programs are sequences of phrases, which can
be juxtaposed or separated by
<code>
;;
</code>
. There are
five
kinds of
be juxtaposed or separated by
<code>
;;
</code>
. There are
several
kinds of
phrases:
</p>
...
...
@@ -86,6 +86,11 @@ debug subtype %%t%%1 %%t2%% {{ check subtyping }}
debug compile %%t%% %%p%%1 ... %%pn%% {{ compilation of pattern matching }}
]]>
</sample>
</li>
<li>
Textual inclusion
<code>
include "%%other_cduce_script.cd%%"
</code>
;
note that cycle of inclusion are detected and automatically broken.
</li>
</ul>
</box>
...
...
@@ -105,9 +110,16 @@ must be contained in a single adjacent sequence of phrases
</p>
<p>
In order to allow persistence (option
<code>
--dump
</code>
to operate,
you must quit the toplevel with
<code>
Ctrl-D
</code>
and not
<code>
Ctrl-C
</code>
You can quit the toplevel with either the toplevel directive
<code>
#quit
</code>
are one of
<code>
Ctrl-C
</code>
or
<code>
Ctrl-D
</code>
. In order to allow persistence
(option
<code>
--dump
</code>
to operate,
you must quit the toplevel with
<code>
#quit
</code>
.
</p>
<p>
The topelevel directive
<code>
#env
</code>
prints the current
environment (global types and values).
</p>
<p>
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment