1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
<html>
<head><title>GC$.html -- ACL2 Version 3.1</title></head>
<body text=#000000 bgcolor="#FFFFFF">
<h2>GC$</h2>invoke the garbage collector
<pre>Major Section: <a href="MISCELLANEOUS.html">MISCELLANEOUS</a>
</pre><p>
This function is provided so that the user can call the garbage collector of
the underlying Lisp from inside the ACL2 loop. Specifically, a call of
<code>gc$</code> is translated into a call of a function below on the same arguments.
<pre>
Allegro CL: excl:gc
GCL si::gbc
CLISP ext:gc
CMU Common Lisp system::gc
SBCL sb-ext:gc
Macintosh Common Lisp ccl::gc
</pre>
The arguments, if any, are as documented in the underlying Common Lisp. It
is up to the user to pass in the right arguments, although we may do some
rudimentary checks.<p>
This function always returns <code>nil</code>.
<p>
<br><br><br><a href="acl2-doc.html"><img src="llogo.gif"></a> <a href="acl2-doc-index.html"><img src="index.gif"></a>
</body>
</html>
|
