SCM

Scheme Implementation

Version 4e2

January 1995

by Aubrey Jaffer

Permission is granted to make and distribute verbatim copies of this manual provided the copyright notice and this permission notice are preserved on all copies.

Permission is granted to copy and distribute modified versions of this manual under the conditions for verbatim copying, provided that the entire resulting derived work is distributed under the terms of a permission notice identical to this one.

Permission is granted to copy and distribute translations of this manual into another language, under the above conditions for modified versions, except that this permission notice may be stated in a translation approved by the author.

1 Copying

PARADIGM ASSOCIATES INCORPORATED, CAMBRIDGE, MASSACHUSETTS.

Permission to use, copy, modify, distribute and sell this software and its documentation for any purpose and without fee is hereby granted, provided that the above copyright notice appear in all copies and that both that copyright notice and this permission notice appear in supporting documentation, and that the name of Paradigm Associates Inc not be used in advertising or publicity pertaining to distribution of the software without specific, written prior permission.

PARADIGM DISCLAIMS ALL WARRANTIES WITH REGARD TO THIS SOFTWARE, INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS, IN NO EVENT SHALL PARADIGM BE LIABLE FOR ANY SPECIAL, INDIRECT OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.

gjc@paradigm.com

Phone: 617-492-6079

Paradigm Associates Inc 29 Putnam Ave, Suite 6 Cambridge, MA 02138

Free Software Foundation, Inc.

675 Mass Ave, Cambridge, MA 02139, USA

Permission to use, copy, modify, distribute, and sell this software and its documentation for any purpose is hereby granted without fee, provided that the above copyright notice appear in all copies and that both that copyright notice and this permission notice appear in supporting documentation.

NO WARRANTY

BECAUSE THE PROGRAM IS LICENSED FREE OF CHARGE, THERE IS NO WARRANTY FOR THE PROGRAM, TO THE EXTENT PERMITTED BY APPLICABLE LAW. EXCEPT WHEN OTHERWISE STATED IN WRITING THE COPYRIGHT HOLDERS AND/OR OTHER PARTIES PROVIDE THE PROGRAM "AS IS" WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. THE ENTIRE RISK AS TO THE QUALITY AND PERFORMANCE OF THE PROGRAM IS WITH YOU. SHOULD THE PROGRAM PROVE DEFECTIVE, YOU ASSUME THE COST OF ALL NECESSARY SERVICING, REPAIR OR CORRECTION.

IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED TO IN WRITING WILL ANY COPYRIGHT HOLDER, OR ANY OTHER PARTY WHO MAY MODIFY AND/OR REDISTRIBUTE THE PROGRAM AS PERMITTED ABOVE, BE LIABLE TO YOU FOR DAMAGES, INCLUDING ANY GENERAL, SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES ARISING OUT OF THE USE OR INABILITY TO USE THE PROGRAM (INCLUDING BUT NOT LIMITED TO LOSS OF DATA OR DATA BEING RENDERED INACCURATE OR LOSSES SUSTAINED BY YOU OR THIRD PARTIES OR A FAILURE OF THE PROGRAM TO OPERATE WITH ANY OTHER PROGRAMS), EVEN IF SUCH HOLDER OR OTHER PARTY HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGES.

2 Overview

Scm is a portable Scheme implementation written in C. Scm provides a machine independent platform for [JACAL], a symbolic algebra system.

2.1 Features

Conforms to Revised^4 Report on the Algorithmic Language Scheme [R4RS] and the [IEEE] P1178 specification.
Support for [SICP], [R2RS], [R3RS], and (proposed) [R5RS] scheme code.
Runs under Amiga, Atari-ST, MacOS, MS-DOS, OS/2, NOS/VE, Unicos, VMS, Unix and similar systems. Supports ASCII and EBCDIC character sets.
Is fully documented in TeXinfo form, allowing documentation to be generated in info, TeX, html, nroff, and troff formats.
Supports inexact real and complex numbers, 30 bit immediate integers and large precision integers.
Many Common Lisp functions: logand, logor, logxor, lognot, ash, logcount, integer-length, bit-extract, defmacro, macroexpand, macroexpand1, gentemp, defvar, force-output, software-type, get-decoded-time, get-internal-run-time, get-internal-real-time, delete-file, rename-file, copy-tree, acons, and eval.
Char-code-limit, most-positive-fixnum, most-negative-fixnum, and internal-time-units-per-second constants. *Features* and *load-pathname* variables.
Arrays and bit-vectors. String ports and software emulation ports. I/O extensions providing ANSI C and POSIX.1 facilities.
Interfaces to standard libraries including REGEX string regular expression matching and the CURSES screen management package.
Available add-on packages including an interactive debugger, database, X-window graphics, BGI graphics, Motif, and Open-Windows packages.
A compiler (HOBBIT, available separately) and dynamic linking of compiled modules.
User definable responses to interrupts and errors, Process-syncronization primitives. Setable levels of monitoring and timing information printed interactively (the verbose function). Restart, quit, and exec.

2.2 Authors

Aubrey Jaffer (jaffer@ai.mit.edu): Most of SCM.
Radey Shouman: Arrays. gsubrs, compiled closures, and records.
Jerry D. Hedden: Real and Complex functions. Fast mixed type arithmetics.
Hugh Secker-Walker: Syntax checking and memoization of special forms by evaluator. Storage allocation strategy and parameters.
George Carrette: Siod, written by George Carrette, was the starting point for SCM. The major innovations taken from Siod are the evaluator’s use of the C-stack and being able to garbage collect off the C-stack (see section Garbage Collection).

There are many other contributors to SCM. They are acknowledged in the file ‘ChangeLog’, a log of changes that have been made to scm.

2.3 Bibliography

[IEEE]: IEEE Standard 1178-1990. IEEE Standard for the Scheme Programming Language. IEEE, New York, 1991.
[Simply]: Brian Harvey and Matthew Wright. Simply Scheme: Introducing Computer Science MIT Press, 1994 ISBN 0-262-08226-8
[SICP]: Harold Abelson and Gerald Jay Sussman with Julie Sussman. Structure and Interpretation of Computer Programs. MIT Press, Cambridge, 1985.
[R4RS]: William Clinger and Jonathan Rees, Editors. <A HREF="r4rs_toc.html"> Revised(4) Report on the Algorithmic Language Scheme. </A> In ACM Lisp Pointers IV (July-September 1991).
[SLIB]: Todd R. Eigenschink, Dave Love, and Aubrey Jaffer. <A HREF="slib_toc.html"> SLIB, The Portable Scheme Library. </A> Edition 2.01, for SLIB version 2a2, January 1995.
[JACAL]: Aubrey Jaffer. <A HREF="jacal_toc.html"> JACAL Symbolic Mathematics System. </A> Version 1a5, April 1994.

‘scm.texi’
‘scm.info’: Documentation of scm extensions (beyond Scheme standards). Documentation on the internal representation and how to extend or include scm in other programs.

2.4 Invoking SCM

scm [-a kbytes] [-ibvqmu] [-p number] [-c expression] [-e expression] [-f filename] [-l filename] [-r feature] [– | - | -s] [filename] [arguments …]

Upon startup scm loads the file specified by by the environment variable SCM_INIT_PATH or by the parameter IMPLINIT in the makefile (or ‘scmfig.h’) if SCM_INIT_PATH is not defined. The makefiles attempt to set IMPLINIT to ‘Init.scm’ in the source directory.

Unless the option -no-init-file occurs in the command line, ‘Init.scm’ checks to see if there is file ‘ScmInit.scm’ in the path specified by the environment variable HOME (or in the current directory if HOME is undefined). If it finds such a file it is loaded.

‘Init.scm’ then looks for command input from one of three sources: From an option on the command line, from a file named on the command line, or from standard input.

This explanation applies to SCMLIT or other builds of SCM. GUILE is invoked similarly to SCM. Guile’s startup script is ‘Ginit.scm’ rather than ‘Init.scm’.

Scheme-code files can also invoke SCM and its variants. See section #!.

2.5 Options

The options are processed in the order specified on the command line.

Command Option: -a kbytes: specifies that scm should allocate an initial heapsize of kbytes. This option, if present, must be the first on the command line.

Command Option: -no-init-file: Inhibits the loading of ‘ScmInit.scm’ as described above.

Command Option: -e expression
Command Option: -c expression: specifies that the scheme expression expression is to be evaluated. These options are inspired by perl and sh respectively. On Amiga systems the entire option and argument need to be enclosed in quotes. For instance ‘"-e(newline)"’.

Command Option: -r feature: requires feature. This will load a file from [SLIB] if that feature is not already supported. If feature is 2, 3, 4, or 5 scm will require the features neccessary to support [R2RS], [R3RS], [R4RS], or proposed [R5RS], respectively.

Command Option: -l filename
Command Option: -f filename: loads filename. Scm will load the first (unoptioned) file named on the command line if no -c, -e, -f, -l, or -s option preceeds it.

Command Option: -p level: sets the prolixity (verboseness) to level. This is the same as the scm command (verobse level).

Command Option: -v: (verbose mode) specifies that scm will print prompts, evaluation times, notice of loading files, and garbage collection statistics. This is the same as -p3.

Command Option: -q: (quiet mode) specifies that scm will print no extra information. This is the same as -p0.

Command Option: -m: specifies that subsequent loads, evaluations, and user interactions will be with [R4RS] macro capability. To use a specific [R4RS] macro implementation from [SLIB] (instead of [SLIB]’s default) put -r macropackage before -m on the command line.

Command Option: -u: specifies that subsequent loads, evaluations, and user interactions will be without [R4RS] macro capability. [R4RS] macro capability can be restored by a subsequent -m on the command line or from Scheme code.

Command Option: -i: specifies that scm should run interactively. That means that scm will not terminate until the (quit) or (exit) command is given, even if there are errors. It also sets the prolixity level to 2 if it is less than 2. This will print prompts, evaluation times, and notice of loading files. The prolixity level can be set by subsequent options. If scm is started from a tty, it will assume that it should be interactive unless given a subsequent -b option.

Command Option: -b: specifies that scm should run non-interactively. That means that scm will terminate after processing the command line or if there are errors.

Command Option: -s: specifies, by analogy with sh, that further options are to be treated as program aguments.

Command Option: -
Command Option: --: specifies that there are no more options on the command line.

2.6 Environment Variables

Environment Variable: SCM_INIT_PATH: is the pathname where scm will look for its initialization code. The default is the file ‘Init.scm’ in the source directory.

Environment Variable: SCHEME_LIBRARY_PATH: is the [SLIB] Scheme library directory.

Environment Variable: HOME: is the directory where ‘Init.scm’ will look for the user initialization file ‘ScmInit.scm’.

2.7 Scheme Variables

Variable: *argv*: contains the list of arguments to the program. *argv* can change during argument processing. This list is suitable for use as an argument to [SLIB] getopt.

Variable: *R4RS-macro*: controls whether loading and interaction support [R4RS] macros. Define this in ‘ScmInit.scm’ or files specified on the command line. This can be overridden by subsequent -m and -u options.

Variable: *interactive*: controls interactivity as explained for the -i and -b options. Define this in ‘ScmInit.scm’ or files specified on the command line. This can be overridden by subsequent -i and -b options.

2.8 Examples

% scm foo.scm: Loads and executes the contents of ‘foo.scm’ and then enters interactive session.
% scm -f foo.scm arg1 arg2 arg3: Parameters arg1, arg2, and arg3 are stored in the global list *argv*; Loads and executes the contents of ‘foo.scm’ and exits.
% scm -s foo.scm arg1 arg2: Sets *argv* to ("foo.scm" "arg1" "arg2") and enters interactive session.
% scm -e `(write (list-ref *argv* *optind*))' bar: Prints ‘"bar"’.
% scm -rpretty-print -r format -i: Loads pretty-print and format and enters interactive session.
% scm -r5: Loads dynamic-wind, values, and [R4RS] macros and enters interactive (with macros) session.
% scm -r5 -r4: Like above but rev4-optional-procedures are also loaded.

2.9 SCM Session

Options, file loading and features can be specified from the command line. See System interface in SCM. See Require in SLIB.
Typing the end-of-file character at the top level session (while SCM is not waiting for parenthesis closure) causes SCM to exit.
Typing the interrupt character aborts evaluation of the current form and resumes the top level read-eval-print loop.

3 Installing SCM

3.1 SLIB

[SLIB] is a portable Scheme library meant to provide compatibility and utility functions for all standard Scheme implementations.

Although SLIB is not neccessary to run SCM, I strongly suggest you obtain and install it. Bug reports about running SCM without SLIB have very low priority. SLIB is available from the same sites as SCM:

<A HREF="file://ftp-swiss.ai.mit.edu/pub/scm/slib2a2.tar.gz"> ftp-swiss.ai.mit.edu:pub/scm/slib2a2.tar.gz </A> <A HREF="file://prep.ai.mit.edu/pub/gnu/jacal/slib2a2.tar.gz"> prep.ai.mit.edu:pub/gnu/jacal/slib2a2.tar.gz </A> <A HREF="file://ftp.maths.tcd.ie/pub/bosullvn/jacal/slib2a2.tar.gz"> ftp.maths.tcd.ie:pub/bosullvn/jacal/slib2a2.tar.gz </A> <A HREF="file://ftp.cs.indiana.edu/pub/scheme-repository/code/lib/slib2a2.tar.gz"> ftp.cs.indiana.edu:/pub/scheme-repository/code/lib/slib2a2.tar.gz </A>

3.2 Problems Compiling

FILE: PROBLEM

HOW TO FIX

*.c: include file not found

Correct the status of STDC_HEADERS in ‘scmfig.h’

fix #include statement or add #define for system type to ‘scmfig.h’.

*.c: Function should return a value in …

*.c: Parameter ’…’ is never used in …

*.c: Condition is always false in …

*.c: Unreachable code in function …

Ignore.

scm.c: assignment between incompatible types

change SIGRETTYPE in ‘scm.c’.

time.c: CLK_TCK redefined

incompatablility between <stdlib.h> and <sys/types.h>. remove STDC_HEADERS in ‘scmfig.h’.

edit <sys/types.h> to remove incompatability.

subr.c: Possibly incorrect assignment in function lgcd

Ignore.

sys.c: statement not reached

sys.c: constant in conditional expression

ignore

sys.c: ‘???’ undeclared, outside of functions

#undef STDC_HEADERS in ‘scmfig.h’.

scl.c: syntax error

#define SYSTNAME to your system type in ‘scl.c’ (softtype)

3.3 Problems Linking

PROBLEM: HOW TO FIX
_sin etc. missing.: uncomment LIBS in makefile

3.4 Problems Running

PROBLEM

HOW TO FIX

Opening message and then machine crashes.

Change memory model option to C compiler (or makefile).

Make sure sizet definition is correct in ‘scmfig.h’.

Reduce size of HEAP_SEG_SIZE in ‘setjump.h’.

Input hangs

#define NOSETBUF

ERROR: heap: need larger initial

Need to increase the initial heap allocation using -a<kbytes> or INIT_HEAP_SIZE.

ERROR: Could not allocate …

Check sizet definition.

Use 32 bit compiler mode.

Don’t try to run as subproccess

remove … in scmfig.h and recompile scm

add … in scmfig.h and recompile scm

Do it and recompile files.

ERROR: ‘Init.scm’ not found

Assign correct IMPLINIT in makefile or ‘scmfig.h’ or define environment variable SCM_INIT_PATH to be the full pathname of ‘Init.scm’ (see section Installing SCM).

WARNING: require.scm not found

define environment variable SCHEME_LIBRARY_PATH to be the full pathname of the scheme library [SLIB] or change library-vicinity in ‘Init.scm’ to point to library or remove. See Installation in SLIB.

Make sure the value of (library-vicinity) has a trailing file separator (like </> or <\>).

3.5 Testing

Loading ‘test.scm’ in the distribution will run an [R4RS] conformance test on scm.

> (load "test.scm")
-|
;loading "test.scm"
SECTION(2 1)
SECTION(3 4)
 #<primitive-procedure boolean?>
    #<primitive-procedure char?>
       #<primitive-procedure null?>
          #<primitive-procedure number?>
…

Loading ‘pi.scm’ in the distribution will enable you to compute digits of pi.

> (load "pi")
;loading "pi"
;done loading "pi.scm"
;Evaluation took 20 mSec (0 in gc) 767 cells work, 233 bytes other
#<unspecified>
> (pi 100 5)
00003 14159 26535 89793 23846 26433 83279 50288 41971 69399
37510 58209 74944 59230 78164 06286 20899 86280 34825 34211
70679
;Evaluation took 550 mSec (60 in gc) 36976 cells work, 1548 bytes other
#<unspecified>

PROBLEM

HOW TO FIX

Runs some and then machine crashes.

See above under machine crashes.

Runs some and then ERROR: … (after a GC has happened)

Remove optimization option to C compiler and recompile.

#define SHORT_ALIGN in ‘scmfig.h’.

Some symbol names print incorrectly.

Change memory model option to C compiler (or makefile).

Check that HEAP_SEG_SIZE fits within sizet.

Increase size of HEAP_SEG_SIZE (or INIT_HEAP_SIZE if it is smaller than HEAP_SEG_SIZE).

ERROR: Rogue pointer in Heap.

See above under machine crashes.

Newlines don’t appear correctly in output files.

Check file mode (define OPEN_… in ‘Init.scm’

Spaces or control characters appear in symbol names

Check character defines in ‘scmfig.h’.

Negative numbers turn positive.

Check SRS in ‘scmfig.h’.

VMS: Couldn’t unwind stack

VAX: botched longjmp

#define CHEAP_CONTIUATIONS in ‘scmfig.h’.

Sparc(SUN-4) heap is growing out of control

You are experiencing a GC problem peculiar to the Sparc. The problem is that SCM doesn’t know how to clear register windows. Every location which is not reused still gets marked at GC time. This causes lots of stuff which should be collected to not be. This will be a problem with any conservative GC until we find what instruction will clear the register windows. This problem is exacerbated by using lots of call-with-current-continuations.

3.6 Reporting Problems

Reported problems and solutions are grouped under Compiling, Linking, Running, and Testing. If you don’t find your problem listed there, you can send a bug report to jaffer@ai.mit.edu or bug-scm@scrg.cs.tcd.ie. The bug report should include:

The version of SCM (printed when SCM is invoked with no arguments).
The type of computer you are using.
The name and version of your computer’s operating system.
The values of the environment variables SCM_INIT_PATH and SCHEME_LIBRARY_PATH.
The name and version of your C compiler.
If you are using an executable from a distribution, the name, vendor, and date of that distribution. In this case, corresponding with the vendor is recommended.

4 Standard Facilities

4.1 Standards Compliance		Links to sections in [R4RS] and [SLIB]
4.2 System Interface		Like how to exit
4.3 Internal State		GC, errors, and diagnostics
4.4 Miscellaneous Procedures
4.5 Time		Both real time and processor time
4.6 Interrupts		and exceptions
4.7 Process Synchronization		Because interrupts are preemptive
4.8 Files and Ports
4.9 Soft Ports		Emulate I/O devices
4.10 Syntax Extensions		and how to Define New Syntax
4.11 Low Level Syntactic Hooks

4.1 Standards Compliance

Scm conforms to the [IEEE], IEEE Standard 1178-1990. IEEE Standard for the Scheme Programming Language. and [R4RS], <A HREF="r4rs_toc.html"> Revised(4) Report on the Algorithmic Language Scheme. </A> All the required features of these specifications are supported. Many of the optional features are supported as well.

Optionals of [R4RS] Supported by SCM

two clause if: (if <test> <consequent>): See Conditionals in Revised(4) Scheme.
let*
named let: See Binding constructs in Revised(4) Scheme.
do: See Iteration in Revised(4) Scheme.
All varieties of define: See Definitions in Revised(4) Scheme.
list-tail: See Pairs and lists in Revised(4) Scheme.
string-copy
string-fill!: See Strings in Revised(4) Scheme.
make-vector of two arguments
vector-fill!: See Vectors in Revised(4) Scheme.
apply of more than 2 arguments: See Control features in Revised(4) Scheme.
- and / of more than 2 arguments
exp
log
sin
cos
tan
asin
acos
atan
sqrt
expt
make-rectangular
make-polar
real-part
imag-part
magnitude
angle
exact->inexact
inexact->exact: See Numerical operations in Revised(4) Scheme.
delay
force: See Control features in Revised(4) Scheme.
with-input-from-file
with-output-to-file: See Ports in Revised(4) Scheme.
char-ready?: See Input in Revised(4) Scheme.
transcript-on
transcript-off: See System interface in Revised(4) Scheme.

Optionals of [R4RS] not Supported by SCM

numerator
denominator
rationalize: See Numerical operations in Revised(4) Scheme.
[R4RS] appendix Macros: See Macros in Revised(4) Scheme.

[SLIB] Features of SCM and SCMLIT

delay
full-continuation
ieee-p1178
object-hash
rev4-report
source: See SLIB file ‘Template.scm’.
current-time: See Time in SLIB.
defmacro: See Defmacro in SLIB.
dynamic-wind: See Dynamic-Wind in SLIB.
eval: See System in SLIB.
getenv
system: See System Interface in SLIB.
hash: See Hashing in SLIB.
logical: See Bit-Twiddling in SLIB.
multiarg-apply: See Multi-argument Apply in SLIB.
multiarg/and-: See Multi-argument / and - in SLIB.
rev4-optional-procedures: See Rev4 Optional Procedures in SLIB.
string-port: See String Ports in SLIB.
tmpnam: See Input/Output in SLIB.
transcript: See Transcripts in SLIB.
vicinity: See Vicinity in SLIB.
with-file: See With-File in SLIB.

[SLIB] Features of SCM

array: See Arrays in SLIB.
array-for-each: See Array Mapping in SLIB.
bignum
complex
inexact
rational
real: See Require in SLIB.

4.2 System Interface

For documentation of the procedures getenv and system See System Interface in SLIB.

Function: quit
Function: quit n
Function: exit
Function: exit n: Aliases for exit (see exit in SLIB). On many systems, SCM can also tail-call another program. See section execp.

Function: vms-debug: If SCM is compiled under VMS these commands will invoke the editor or debugger respectively.

Function: ed filename: If SCM is compiled under VMS ed will invoke the editor with a single the single argument filename.
Function: ed arg1 …: Otherwise, the value of the environment variable EDITOR (or just ed if it isn’t defined) is invoked as a command with arguments arg1 ….

Function: program-arguments: Returns a list of strings of the arguments scm was called with.

Function: errno
Function: errno n: With no argument returns the current value of the system variable errno. When given an argument, errno sets the system variable errno to n and returns the previous value of errno. (errno 0) will clear outstanding errors. This is recommended after try-load returns #f since this occurs when the file could not be opened.

Function: perror string: Prints on standard error output the argument string, a colon, followed by a space, the error message corresponding to the current value of errno and a newline. The value returned is unspecified.

4.3 Internal State

Variable: errobj: If SCM encounters a non-fatal error it aborts evaluation of the current form, prints a message explaining the error, and resumes the top level read-eval-print loop. The value of errobj is the offending object if appropriate. errobj is not set from calls to the procedure error.

Function: error arg1 arg2 arg3 …: Alias for error in SLIB. Outputs an error message containing the arguments, aborts evaluation of the current form and resumes the top level read-eval-print loop. Error is defined in ‘Init.scm’; You change it to suit you.

Function: abort: Resumes the top level Read-Eval-Print loop.

Function: verbose n

Controls how much monitoring information is printed. If n is:

0: no prompt or information is printed.
>= 1: a prompt is printed.
>= 2: the CPU time is printed after each top level form evaluated.
>= 3: messages about heap growth are printed.
>= 4: garbage collection (see section Garbage Collection) messages are printed.
>= 5: a warning will be printed for each top-level symbol which is defined more than one time.

Function: gc: Scans all of SCM objects and reclaims for further use those that are no longer accessible.

Function: room
Function: room #t: Prints out statistics about SCM’s current use of storage. (room #t) also gives the hexadecimal heap segment and stack bounds.

Constant: *scm-version*: Contains the version string (e.g. ‘4e2’) of SCM.

For other configuration constants and procedures See Configuration in SLIB.

4.4 Miscellaneous Procedures

Function: try-load filename: If the string filename names an existing file, the try-load procedure reads Scheme source code expressions and definitions from the file and evaluates them sequentially and returns #t. If not, try-load returns #f. The try-load procedure does not affect the values returned by current-input-port and current-output-port.

Variable: *load-pathname*: Is set to the pathname given as argument to load, try-load, and dyn:link (see section Compiling And Linking). *load-pathname* is used to compute the value of program-vicinity in SLIB.

Function: line-number: Returns the current line number of the file currently being loaded.

Function: eval obj: Alias for eval in SLIB.

Function: eval-string str: Returns the result of reading an expression from str and evaluating it. eval-string does not change *load-pathname* or line-number.

Function: load-string str: Reads and evaluates all the expressions from str. As with load, the value returned is unspecified. eval-string does not change *load-pathname* or line-number.

Function: vector-set-length! object length: Change the length of string, vector, bit-vector, or uniform-array object to length. If this shortens object then the remaining contents are lost. If it enlarges object then the contents of the extended part are undefined but the original part is unchanged. It is an error to change the length of literal datums. The new object is returned.

Function: copy-tree obj: See copy-tree in SLIB. This extends the SLIB version by also copying vectors.

Function: acons obj1 obj2 obj3: Returns (cons (cons obj1 obj2) obj3). The expression (set! a-list (acons key datum a-list)) adds a new association to a-list.

Function: terms: This command displays the GNU General Public License.

Function: list-file filename: Displays the text contents of filename.

4.5 Time

Constant: internal-time-units-per-second: Is the integer number of internal time units in a second.

Function: get-internal-run-time: Returns the integer run time in internal time units from an unspecified starting time. The difference of two calls to get-internal-run-time divided by internal-time-units-per-second will give elapsed run time in seconds.

Function: get-internal-real-time: Returns the integer time in internal time units from an unspecified starting time. The difference of two calls to get-internal-real-time divided by interal-time-units-per-second will give elapsed real time in seconds.

Function: current-time: Returns the time since 00:00:00 GMT, January 1, 1970, measured in seconds. See current-time in SLIB. current-time is used in Time in SLIB.

4.6 Interrupts

Function: ticks n

Returns the number of ticks remaining till the next tick interrupt. Ticks are an arbitrary unit of evaluation. Ticks can vary greatly in the amount of time they represent.

If n is 0, any ticks request is canceled. Otherwise a ticks-interrupt will be signaled n from the current time. ticks is supported if SCM is compiled with the ticks flag defined.

Callback procedure: ticks-interrupt …: Establishes a response for tick interrupts. Another tick interrupt will not occur unless ticks is called again. Program execution will resume if the handler returns. This procedure should (abort) or some other action which does not return if it does not want processing to continue.

Function: alarm secs: Returns the number of seconds remaining till the next alarm interrupt. If secs is 0, any alarm request is canceled. Otherwise an alarm-interrupt will be signaled secs from the current time. ALARM is not supported on all systems.

Callback procedure: user-interrupt …

Callback procedure: alarm-interrupt …

Establishes a response for SIGINT (control-C interrupt) and SIGALRM interrupts. Program execution will resume if the handler returns. This procedure should (abort) or some other action which does not return if it does not want processing to continue after it returns.

Interrupt handlers are disabled during execution system and ed procedures.

To unestablish a response for an interrupt set the handler symbol to #f. For instance, (set! user-interrupt #f).

Callback procedure: out-of-storage …

Callback procedure: could-not-open …

Callback procedure: end-of-program …

Callback procedure: hang-up …

Callback procedure: arithmetic-error …

Establishes a response for storage allocation error, file opening error, end of program, SIGHUP (hang up interrupt) and arithmetic errors respectively. This procedure should (abort) or some other action which does not return if it does not want the default error message to also be displayed. If no procedure is defined for hang-up then end-of-program (if defined) will be called.

To unestablish a response for an error set the handler symbol to #f. For instance, (set! could-not-open #f).

4.7 Process Synchronization

Function: make-arbiter name: Returns an object of type arbiter and name name. Its state is initially unlocked.

Function: try-arbiter arbiter: Returns #t and locks arbiter if arbiter was unlocked. Otherwise, returns #f.

Function: release-arbiter arbiter: Returns #t and unlocks arbiter if arbiter was locked. Otherwise, returns #f.

4.8 Files and Ports

These procedures generalize and extend the standard capabilities in Ports in Revised(4) Scheme.

Function: open-file string modes: Returns a port capable of receiving or delivering characters as specified by the modes string. If a file cannot be opened #f is returned.

Constant: open_read
Constant: open_write
Constant: open_both: Contain modes strings specifying that a file is to be opened for reading, writing, and both reading and writing respectively.

Function: _ionbf modestr: Returns a version of modestr which when open-file is called with it as the second argument will return an unbuffered port. A non-file input-port must be unbuffered in order for char-ready? to work correctly on it. The initial value of (current-input-port) is unbuffered if the platform supports it.

Function: close-port port: Closes port. The same as close-input-port and close-output-port.

Function: open-io-file filename
Function: close-io-port port: These functions are analogous to the standard scheme file functions. The ports are open to filename in read/write mode. Both input and output functions can be used with io-ports. An end of file must be read or a file-set-position done on the port between a read operation and a write operation or vice-versa.

Function: current-error-port: Returns the current port to which diagnostic output is directed.

Function: with-error-to-file string thunk: thunk must be a procedure of no arguments, and string must be a string naming a file. The file is opened for output, an output port connected to it is made the default value returned by current-error-port, and the thunk is called with no arguments. When the thunk returns, the port is closed and the previous default is restored. With-error-to-file returns the value yielded by thunk.

Function: with-input-from-port port thunk
Function: with-output-to-port port thunk
Function: with-error-to-port port thunk: These routines differ from with-input-from-file, with-output-to-file, and with-error-to-file in that the first argument is a port, rather than a string naming a file.

4.9 Soft Ports

A soft-port is a port based on a vector of procedures capable of accepting or delivering characters. It allows emulation of I/O ports.

Function: make-soft-port vector modes

Returns a port capable of receiving or delivering characters as specified by the modes string (see section open-file). vector must be a vector of length 6. Its components are as follows:

procedure accepting one character for output
procedure accepting a string for output
thunk for flushing output
thunk for getting one character
thunk for closing port (not by garbage collection)

For an output-only port only elements 0, 1, 2, and 4 need be procedures. For an input-only port only elements 3 and 4 need be procedures. Thunks 2 and 4 can instead be #f if there is no useful operation for them to perform.

If thunk 3 returns #f or an eof-object (see eof-object? in Revised(4) Scheme) it indicates that the port has reached end-of-file. For example:

(define stdout (current-output-port))
(define p (make-soft-port
           (vector
            (lambda (c) (write c stdout))
            (lambda (s) (display s stdout))
            (lambda () (display "." stdout))
            (lambda () (char-upcase (read-char)))
            (lambda () (display "@" stdout)))
           "rw"))

(write p p) ⇒ #<input-output-soft#\space45d10#\>

4.10 Syntax Extensions

Read syntax: #. expression

Is read as the object resulting from the evaluation of expression. This substitution occurs even inside quoted structure.

In order to allow compiled code to work with #. it is good practice to define those symbols used inside of expression with #.(define …). For example:

#.(define foo 9)                        ⇒ #<unspecified>
'(#.foo #.(+ foo foo))                  ⇒ (9 18)

Read syntax: #+ feature form

If feature is provided? (by *features*) then form is read as a scheme expression. If not, then form is treated as whitespace.

Feature is a boolean expression composed of symbols and and, or, and not of boolean expressions.

For more information on provided? and *features*, See Require in SLIB.

Read syntax: #- feature form: is equivalent to #+(not feature) expression.

Read syntax: #' form: is equivalent to form (for compatibility with common-lisp).

Read syntax: #| any thing |#: Is a balanced comment. Everything up to the matching |# is ignored by the read. Nested #|…|# can occur inside any thing.

Read syntax: #! any thing

On the first line of a file will be ignored when loaded by SCM. This makes SCM files usable as POSIX shell scripts if the first line is:

#!/usr/local/bin/scm

When such a file is invoked it executes /usr/local/bin/scm with the name of this file as the first argument. The following shell script will print factorial of its argument:

#!/usr/local/bin/scm
;;; -*-scheme-*- tells emacs this is a scheme file.
(define (fact n) (if (< n 2) 1 (* n (fact (+ -1 n)))))
(display (fact (string->number (caddr (program-arguments)))))
(newline)
(quit)

This technique has some drawbacks:

Some Unixes limit the length of the ‘#!’ interpreter line to the size of an object file header, which can be as small as 32 bytes.
A full, explicit pathname must be specified, perhaps requiring more than 32 bytes and making scripts vulnerable to programs being moved.

The following approach solves both problems – at the expense of slightly slower startup. type; should appear on every line to be executed by the shell. These lines do not have the length restriction mentioned above. Also, /bin/sh searches the directories listed in the ‘PATH’ environment variable for ‘scm’, eliminating the need to know absolute locations in order to invoke a program.

#!/bin/sh
type;exec scm $0 $*
;;; -*-scheme-*- tells emacs this is a scheme file.
(define (fact n) (if (< n 2) 1 (* n (fact (+ -1 n)))))
(display (fact (string->number (caddr (program-arguments)))))
(newline)
(quit)

Special Form: defined? symbol: Equivalent to #t if symbol is a syntactic keyword (such as if) or a symbol with a value in the top level environment (see Variables and regions in Revised(4) Scheme). Otherwise equivalent to #f.

Special Form: defvar identifier initial-value: If identifier is unbound in the top level environment, then identifier is defined to the result of evaluating the form initial-value as if the defvar form were instead the form (define identifier initial-value) . If identifier already has a value, then initial-value is not evaluated and identifier’s value is not changed.

SCM also supports the following constructs from Common Lisp: defmacro, macroexpand, macroexpand-1, and gentemp. See Defmacro in SLIB.

4.11 Low Level Syntactic Hooks

Callback procedure: read:sharp c port

If a <#> followed by a character (for a non-standard syntax) is encountered by read, read will call the value of the symbol read:sharp with arguments the character and the port being read from. The value returned by this function will be the value of read for this expression unless the function returns #<unspecified> in which case the expression will be treated as whitespace. #<unspecified> is the value returned by the expression (if #f #f).

Note: When adding new <#> syntaxes, have your code save the previous value of read:sharp when defining it. Call this saved value if an invocation’s syntax is not recognized. This will allow #+, #-, #!, and Uniform Arrays to still be supported (as they use read:sharp).

Function: procedure->syntax proc: Returns a macro which, when a symbol defined to this value appears as the first symbol in an expression, returns the result of applying proc to the expression and the environment.

Function: procedure->macro proc

Function: procedure->memoizing-macro proc

Returns a macro which, when a symbol defined to this value appears as the first symbol in an expression, evaluates the result of applying proc to the expression and the environment. The value returned from proc which has been passed to PROCEDURE->MEMOIZING-MACRO replaces the form passed to proc. For example:

(define trace
  (procedure->macro
   (lambda (x env) `(set! ,(cadr x) (tracef ,(cadr x) ',(cadr x))))))

(trace foo) ≡ (set! foo (tracef foo 'foo)).

An environment is a list of environment frames. There are 2 types of environment frames:

((lambda (variable1 …) …) value1 …)

(let ((variable1 value1) (variable2 value2) …) …)

(letrec ((variable1 value1) …) …)

result in a single enviroment frame:

((variable1 …) value1 …)

(let ((variable1 value1)) …)

(let* ((variable1 value1) …) …)

result in an environment frame for each variable:

(variable1 . value1) (variable2 .  value2) …

Special Form: @apply procedure argument-list: Returns the result of applying procedure to argument-list. (apply procedure argument-list) will produce the same result.

Special Form: @call-with-current-continuation procedure): Returns the result of applying procedure to the current continuation. (call-with-current-continuation procedure) will have the same effect.

5 Packages

5.1 Compiling And Linking

Function: compile-file name1 name2 …: If the HOBBIT compiler is installed in the (implementation-vicinity), compiles the files name1 name2 … to an object file name name1<object-suffix>, where <object-suffix> is the object file suffix for your computer (for instance, ‘.o’). name1 must be in the current directory. name2 … can be in other directories.

Function: link-named-scm name module1 …: Creates a new SCM executable with name name. name will include the object modules module1 … which can be produced with compile-file.

If SCM has been compiled with ‘dynl.c’ then the additional properties of load and require (from [SLIB]) specified below are supported. The require forms are preferred. The variable *catalog* can be extended to define other requirable packages. See ‘Link.scm’ for details.

Function: load filename lib1 …

In addition to the [R4RS] requirement of loading Scheme expressions if filename is a Scheme source file, load will also dynamically load/link object files (produced by compile-file, for instance). The object-suffix need not be given to load. For example,

(load (in-vicinity (implementation-vicinity) "sc2"))
or (load (in-vicinity (implementation-vicinity) "sc2.o"))
or (require 'rev2-procedures)
or (require 'rev3-procedures)

will load/link ‘sc2.o’ if it exists.

The lib1 … pathnames are for additional libraries which may be needed for object files not produced by the Hobbit compiler. For instance, crs is linked on Linux by

(load (in-vicinity (implementation-vicinity) "crs.o")
      (usr:lib "ncurses") (usr:lib "c"))
or (require 'curses)

Turtlegr graphics library is linked by:

(load (in-vicinity (implementation-vicinity) "turtlegr")
      (usr:lib "X11") (usr:lib "c") (usr:lib "m"))
or (require 'turtle-graphics)

And the string regular expression (see section Regular Expression Pattern Matching) package is linked by:

(load (in-vicinity (implementation-vicinity) "rgx") (usr:lib "c"))

(require 'regex)

Function: require 'db
Function: require 'wb: Either form will dynamically load the WB database system from the wb:vicinity (‘../wb/’) specified in ‘Link.scm’. See ‘scm/ANNOUNCE’ for ftp sites where WB is available.

The following functions comprise the low-level Scheme interface to dynamic linking. See the file ‘Link.scm’ in the SCM distribution for an example of their use.

Function: dyn:link filename: filename should be a string naming an object or archive file, the result of C-compiling. The dyn:link procedure links and loads filename into the current SCM session. If successfull, dyn:link returns a link-token suitable for passing as the second argument to dyn:call. If not successful, #f is returned.

Function: dyn:call name link-token

link-token should be the value returned by a call to dyn:link. name should be the name of C function of no arguments defined in the file named filename which was succesfully dyn:linked in the current SCM session. The dyn:call procedure calls the C function corresponding to name. If successful, dyn:call returns #t; If not successful, #f is returned.

dyn:call is used to call the init_… function after loading SCM object files. The init_… function then makes the identifiers defined in the file accessible as Scheme procedures.

Function: dyn:unlink link-token: link-token should be the value returned by a call to dyn:link. The dyn:unlink procedure removes the previously loaded file from the current SCM session. If successful, dyn:unlink returns #t; If not successful, #f is returned.

Function: usr:lib lib: Returns the pathname of the C library named lib. For example: (usr:lib "m") could return "/usr/lib/libm.a", the path of the C math library.

5.2 Numeric

Constant: most-positive-fixnum: The immediate integer closest to positive infinity. See Configuration in SLIB.

Constant: most-negative-fixnum: The immediate integer closest to negative infinity.

These procedures augment the standard capabilities in Numerical operations in Revised(4) Scheme.

Function: sinh z
Function: cosh z
Function: tanh z: Return the hyperbolic sine, cosine, and tangent of z

Function: asinh z
Function: acosh z
Function: atanh z: Return the inverse hyperbolic sine, cosine, and tangent of z

Function: $sqrt x
Function: $abs x
Function: $exp x
Function: $log x
Function: $sin x
Function: $cos x
Function: $tan x
Function: $asin x
Function: $acos x
Function: $atan x
Function: $sinh x
Function: $cosh x
Function: $tanh x
Function: $asinh x
Function: $acosh x
Function: $atanh x: Real-only versions of these popular functions. The argument x must be a real number. It is an error if the value which should be returned by a call to these procedures is not real.

Function: $atan2 y x: Computes (angle (make-rectangular x y)) for real numbers y and x.

Function: $expt x1 x2: Returns real number x1 raised to the real power x2. It is an error if the value which should be returned by a call to $expt is not real.

5.3 Arrays

5.3.1 Conventional Arrays

Arrays read and write as a # followed by the rank (number of dimensions) followed by what appear as lists (of lists) of elements. The lists must be nested to the depth of the rank. For each depth, all lists must be the same length.

(make-array 'ho 3 3) ⇒
#2((ho ho ho) (ho ho ho) (ho ho ho))

Unshared conventional (not uniform) 0-based arrays of rank 1 (dimension) are equivalent to (and can’t be distinguished from) vectors.

(make-array 'ho 3) ⇒ (ho ho ho)

When constructing an array, bound is either an inclusive range of indices expressed as a two element list, or an upper bound expressed as a single integer. So

(make-array 'foo 3 3) ≡ (make-array 'foo '(0 2) '(0 2))

Function: array? obj: Returns #t if the obj is an array, and #f if not.

Function: make-array initial-value bound1 bound2 …: Creates and returns an array that has as many dimensions as there are bounds and fills it with initial-value.

Function: array-ref array index1 index2 …: Returns the element at the (index1, index2) element in array.

Function: array-in-bounds? array index1 index2 …: Returns #t if its arguments would be acceptable to array-ref.

Function: array-set! array new-value index1 index2 …: Sets the element at the (index1, index2) element in array to new-value. The value returned by array-set! is unspecified.

Function: make-shared-array array mapper bound1 bound2 …

make-shared-array can be used to create shared subarrays of other arrays. The mapper is a function that translates coordinates in the new array into coordinates in the old array. A mapper must be linear, and its range must stay within the bounds of the old array, but it can be otherwise arbitrary. A simple example:

(define fred (make-array #f 8 8))
(define freds-diagonal
  (make-shared-array fred (lambda (i) (list i i)) 8))
(array-set! freds-diagonal 'foo 3)
(array-ref fred 3 3) ⇒ foo
(define freds-center
  (make-shared-array fred (lambda (i j) (list (+ 3 i) (+ 3 j))) 2 2))
(array-ref freds-center 0 0) ⇒ foo

Function: transpose-array array dim0 dim1 …

Returns an array sharing contents with array, but with dimensions arranged in a different order. There must be one dim argument for each dimension of array. dim0, dim1, … should be integers between 0 and the rank of the array to be returned. Each integer in that range must appear at least once in the argument list.

The values of dim0, dim1, … correspond to dimensions in the array to be returned, their positions in the argument list to dimensions of array. Several dims may have the same value, in which case the returned array will have smaller rank than array.

examples:

(transpose-array '#2((a b) (c d)) 1 0) ⇒ #2((a c) (b d))
(transpose-array '#2((a b) (c d)) 0 0) ⇒ #1(a d)
(transpose-array '#3(((a b c) (d e f)) ((1 2 3) (4 5 6))) 1 1 0) ⇒
                #2((a 4) (b 5) (c 6))

Function: enclose-array array dim0 dim1 …

dim0, dim1 … should be nonnegative integers less than the rank of array. enclose-array returns an array resembling an array of shared arrays. The dimensions of each shared array are the same as the dimth dimensions of the original array, the dimensions of the outer array are the same as those of the original array that did not match a dim.

An enclosed array is not a general Scheme array. Its elements may not be set using array-set!. Two references to the same element of an enclosed array will be equal? but will not in general be eq?. The value returned by array-prototype when given an enclosed array is unspecified.

examples:

(enclose-array '#3(((a b c) (d e f)) ((1 2 3) (4 5 6))) 1) ⇒
   #<enclosed-array (#1(a d) #1(b e) #1(c f)) (#1(1 4) #1(2 5) #1(3 6))>

(enclose-array '#3(((a b c) (d e f)) ((1 2 3) (4 5 6))) 1 0) ⇒
   #<enclosed-array #2((a 1) (d 4)) #2((b 2) (e 5)) #2((c 3) (f 6))>

Function: array-shape array

Returns a list of inclusive bounds of integers.

(array-shape (make-array 'foo '(-1 3) 5)) ⇒ ((-1 3) (0 4))

Function: array-dimensions array

Array-dimensions is similar to array-shape but replaces elements with a 0 minimum with one greater than the maximum. So:

(array-dimensions (make-array 'foo '(-1 3) 5)) ⇒ ((-1 3) 5)

Function: array-rank obj: Returns the number of dimensions of obj. If obj is not an array, 0 is returned.

Function: array->list array: Returns a list consisting of all the elements, in order, of array.

Function: array-copy! source destination: Copies every element from vector or array source to the corresponding element of destination. destination must have the same rank as source, and be at least as large in each dimension. The order is unspecified.

Function: serial-array-copy! source destination: Same as array-copy! but guaranteed to copy in row-major order.

Function: array-fill! array fill: Stores fill in every element of array. The value returned is unspecified.

Function: array-equal? array0 array1 …: Returns #t iff all arguments are arrays with the same shape, the same type, and have corresponding elements which are either equal? or array-equal?. This function differs from equal? in that a one dimensional shared array may be array-equal? but not equal? to a vector or uniform vector.

Function: array-contents array

Function: array-contents array strict

If array may be unrolled into a one dimensional shared array without changing their order (last subscript changing fastest), then array-contents returns that shared array, otherwise it returns #f. All arrays made by make-array and make-uniform-array may be unrolled, some arrays made by make-shared-array may not be.

If the optional argument strict is provided, a shared array will be returned only if its elements are stored internally contiguous in memory.

5.3.2 Array Mapping

Function: array-map! array0 proc array1 …: array1, … must have the same number of dimensions as array0 and have a range for each index which includes the range for the corresponding index in array0. proc is applied to each tuple of elements of array1 … and the result is stored as the corresponding element in array0. The value returned is unspecified. The order of application is unspecified.

Function: serial-array-map! array0 proc array1 …: Same as array-map!, but guaranteed to apply proc in row-major order.

Function: array-for-each proc array0 …: proc is applied to each tuple of elements of array0 … in row-major order. The value returned is unspecified.

Function: array-index-map! array proc

applies proc to the indices of each element of array in turn, storing the result in the corresponding element. The value returned and the order of application are unspecified.

One can implement array-indexes as

(define (array-indexes array)
    (let ((ra (apply make-array #f (array-shape array))))
      (array-index-map! ra (lambda x x))
      ra))

Another example:

(define (apl:index-generator n)
    (let ((v (make-uniform-vector n 1)))
      (array-index-map! v (lambda (i) i))
      v))

5.3.3 Uniform Array

Uniform Arrays and vectors are arrays whose elements are all of the same type. Uniform vectors occupy less storage than conventional vectors. Uniform Array procedures also work on vectors, uniform-vectors, bit-vectors, and strings.

prototype arguments in the following procedures are interpreted according to the table:

prototype       type                            printing character

#t              boolean (bit-vector)                    b
#\a             char (string)                           a
integer >0      unsigned integer                        u
integer <0      signed integer                          e
1.0             float (single precision)                s
1/3             double (double precision float)         i
+i              complex (double precision)              c
()              conventional vector

Unshared uniform character 0-based arrays of rank 1 (dimension) are equivalent to (and can’t be distinguished from) strings.

(make-uniform-array #\a 3) ⇒ "$q2"

Unshared uniform boolean 0-based arrays of rank 1 (dimension) are equivalent to (and can’t be distinguished from) bit-vectors.

(make-uniform-array #t 3) ⇒ #*000
≡
#b(#f #f #f) ⇒ #*000
≡
#1b(#f #f #f) ⇒ #*000

Other uniform vectors are written in a form similar to that of vectors, except that a single character from the above table is put between # and (. For example, '#e(3 5 9) returns a uniform vector of signed integers.

Function: array? obj prototype: Returns #t if the obj is an array of type corresponding to prototype, and #f if not.

Function: make-uniform-array prototype bound1 bound2 …: Creates and returns a uniform array of type corresponding to prototype that has as many dimensions as there are bounds and fills it with prototype.

Function: array-prototype array: Returns an object that would produce an array of the same type as array, if used as the prototype for make-uniform-array.

Function: list->uniform-array rank prot lst
Function: list->uniform-vector prot lst: Returns a uniform array of the type indicated by prototype prot with elements the same as those of lst. Elements must be of the appropriate type, no coercions are done.

Function: uniform-vector-fill! uve fill: Stores fill in every element of uve. The value returned is unspecified.

Function: uniform-vector-length uve: Returns the number of elements in uve.

Function: dimensions->uniform-array dims prototype fill
Function: dimensions->uniform-array dims prototype
Function: make-uniform-vector length prototype fill
Function: make-uniform-vector length prototype: Creates and returns a uniform array or vector of type corresponding to prototype with dimensions dims or length length. If the fill argument is supplied, the returned array is filled with this value.

Function: uniform-array-read! ura

Function: uniform-array-read! ura port

Function: uniform-vector-read! uve

Function: uniform-vector-read! uve port

Attempts to read all elements of ura, in lexicographic order, as binary objects from port. If an end of file is encountered during uniform-array-read! the objects up to that point only are put into ura (starting at the beginning) and the remainder of the array is unchanged.

uniform-array-read! returns the number of objects read. port may be omitted, in which case it defaults to the value returned by (current-input-port).

Function: uniform-array-write ura
Function: uniform-array-write ura port
Function: uniform-vector-write uve
Function: uniform-vector-write uve port: Writes all elements of ura as binary objects to port. The number of objects actually written is returned. port may be omitted, in which case it defaults to the value returned by (current-output-port).

5.3.4 Bit Vectors

Bit vectors can be written and read as a sequence of 0s and 1s prefixed by #*.

#b(#f #f #f #t #f #t #f) ⇒ #*0001010

Some of these operations will eventually be generalized to other uniform-arrays.

Function: bit-count bool bv: Returns the number occurrences of bool in bv.

Function: bit-position bool bv k: Returns the minimum index of an occurrence of bool in bv which is at least k. If no bool occurs within the specified range #f is returned.

Function: bit-invert! bv: Modifies bv by replacing each element with its negation.

Function: bit-set*! bv uve bool

If uve is a bit-vector bv and uve must be of the same length. If bool is #t, uve is OR’ed into bv; If bool is #f, the inversion of uve is AND’ed into bv.

If uve is a unsigned integer vector all the elements of uve must be between 0 and the LENGTH of bv. The bits of bv corresponding to the indexes in uve are set to bool.

The return value is unspecified.

Function: bit-count* bv uve bool

Returns

(bit-count (bit-set*! (if bool bv (bit-invert! bv)) uve #t) #t).

bv is not modified.

5.4 I/O-Extensions

If 'i/o-extensions is provided (by linking in ‘ioext.o’), Line I/O in SLIB, and the following functions are defined:

Function: isatty? port: Returns #t if port is input or output to a serial non-file device.

Function: stat <port-or-string>

Returns a vector of integers describing the argument. The argument can be either a string or an open input port. If the argument is an open port then the returned vector describes the file to which the port is opened; If the argument is a string then the returned vector describes the file named by that string. If there exists no file with the name string, or if the file cannot be accessed #f is returned. The elements of the returned vector are as follows:

0 st_dev: ID of device containing a directory entry for this file
1 st_ino: Inode number
2 st_mode: File type, attributes, and access control summary
3 st_nlink: Number of links
4 st_uid: User ID of file owner
5 st_gid: Group ID of file group
6 st_rdev: Device ID; this entry defined only for char or blk spec files
7 st_size: File size (bytes)
8 st_atime: Time of last access
9 st_mtime: Last modification time
10 st_ctime: Last file status change time

Function: getpid: Returns the process ID of the current process.

Function: file-position port: Returns the current position of the character in port which will next be read or written. If port is not open to a file the result is unspecified.

Function: file-set-position port integer: Sets the current position in port which will next be read or written. If port is not open to a file the action of file-set-position is unspecified. The result of file-set-position is unspecified.

Function: reopen-file filename modes port: Closes port port and reopens it with filename and modes. reopen-file returns #t if successful, #f if not.

Function: duplicate-port port modes: Creates and returns a duplicate port from port. Duplicate unbuffered ports share one file position. modes are as for open-file.

Function: redirect-port! from-port to-port: Closes to-port and makes to-port be a duplicate of from-port. redirect-port! returns to-port if successful, #f if not. If unsuccessful, to-port is not closed.

Function: opendir dirname: Returns a directory object corresponding to the file system directory named dirname. If unsuccessful, returns #f.

Function: readdir dir: Returns the string name of the next entry from the directory dir. If there are no more entries in the directory, readdir returns a #f.

Function: rewinddir dir: Reinitializes dir so that the next call to readdir with dir will return the first entry in the directory again.

Function: closedir dir: Closes dir and returns #t. If dir is already closed,, closedir returns a #f.

Function: mkdir path mode

The mkdir function creates a new, empty directory whose name is path. The integer argument mode specifies the file permissions for the new directory. See The Mode Bits for Access Permission in Gnu C Library, for more information about this.

mkdir returns if successful, #f if not.

Function: rmdir path: The rmdir function deletes the directory path. The directory must be empty before it can be removed. rmdir returns if successful, #f if not.

Function: chdir filename: Changes the current directory to filename. If filename does not exist or is not a directory, #f is returned. Otherwise, #t is returned.

Function: getcwd: The function getcwd returns a string containing the absolute file name representing the current working directory. If this string cannot be obtained, #f is returned.

Function: rename-file oldfilename newfilename: Renames the file specified by oldfilename to newfilename. If the renaming is successful, #t is returned. Otherwise, #f is returned.

Function: chmod file mode

The function chmod sets the access permission bits for the file named by file to mode. The file argument may be a string containing the filename or a port open to the file.

chmod returns if successful, #f if not.

Function: utime pathname acctime modtime: Sets the file times associated with the file named pathname to have access time acctime and modification time modtime. utime returns if successful, #f if not.

Function: umask mode: The function umask sets the file creation mask of the current process to mask, and returns the previous value of the file creation mask.

Function: fileno port: Returns the integer file descriptor associated with the port port. If an error is detected, #f is returned.

Function: access pathname how

Returns #t if the file named by pathname can be accessed in the way specified by the how argument. The how argument can be the logior of the flags:

File exists.
File is executable.
File is writable

File is readable

Function: execl command arg0 …

Function: execlp command arg0 …

Transfers control to program command called with arguments arg0 …. For execl, command must be an exact pathname of an executable file. execlp searches for command in the list of directories specified by the environment variable PATH. The convention is that arg0 is the same name as command.

If successful, this procedure does not return. Otherwise an error message is printed and the integer errno is returned.

Function: execv command arglist

Function: execvp command arglist

Like execl and execlp except that the set of arguments to command is arglist.

Function: putenv string

adds or removes definitions from the environment. If the string is of the form ‘NAME=VALUE’, the definition is added to the environment. Otherwise, the string is interpreted as the name of an environment variable, and any definition for this variable in the environment is removed.

Names of environment variables are case-sensitive and must not contain the character =. System-defined environment variables are invariably uppercase.

Putenv is used to set up the environment before calls to execl, execlp, execv, execvp, system, or open-pipe (see section open-pipe).

To access environment variables, use getenv (see getenv in SLIB).

5.5 Posix Extensions

If 'posix is provided (by linking in ‘posix.o’), the following functions are defined:

Function: open-pipe string modes: If the string modes contains an <r>, returns an input port capable of delivering characters from the standard output of the system command string. Otherwise, returns an output port capable of receiving characters which become the standard input of the system command string. If a pipe cannot be created #f is returned.

Function: open-input-pipe string: Returns an input port capable of delivering characters from the standard output of the system command string. If a pipe cannot be created #f is returned.

Function: open-output-pipe string: Returns an output port capable of receiving characters which become the standard input of the system command string. If a pipe cannot be created #f is returned.

Function: close-port pipe: Closes the pipe, rendering it incapable of delivering or accepting characters. This routine has no effect if the pipe has already been closed. The value returned is unspecified.

Function: pipe: Returns (cons rd wd) where rd and wd are the read and write (port) ends of a pipe respectively.

Function: fork: Creates a copy of the process calling fork. Both processes return from fork, but the calling (parent) process’s fork returns the child process’s ID whereas the child process’s fork returns 0.

For a discussion of IDs See Process Persona in libc.

Function: getppid: Returns the process ID of the parent of the current process. For a process’s own ID See section getpid.

Function: getuid: Returns the real user ID of this process.

Function: getgid: Returns the real group ID of this process.

Function: getegid: Returns the effective group ID of this process.

Function: geteuid: Returns the effective user ID of this process.

Function: setuid id: Sets the real user ID of this process to id. Returns #t if successful, #f if not.

Function: setgid id: Sets the real group ID of this process to id. Returns #t if successful, #f if not.

Function: setegid id: Sets the effective group ID of this process to id. Returns #t if successful, #f if not.

Function: seteuid id: Sets the effective user ID of this process to id. Returns #t if successful, #f if not.

Function: kill pid sig

The kill function sends the signal signum to the process or process group specified by pid. Besides the signals listed in Standard Signals in GNU C Library, signum can also have a value of zero to check the validity of the pid.

The pid specifies the process or process group to receive the signal:

> 0: The process whose identifier is pid.
0: All processes in the same process group as the sender. The sender itself does not receive the signal.
-1: If the process is privileged, send the signal to all processes except for some special system processes. Otherwise, send the signal to all processes with the same effective user ID.
< -1: The process group whose identifier is (abs pid).

A process can send a signal to itself with (kill (getpid) signum). If kill is used by a process to send a signal to itself, and the signal is not blocked, then kill delivers at least one signal (which might be some other pending unblocked signal instead of the signal signum) to that process before it returns.

The return value from kill is zero if the signal can be sent successfully. Otherwise, no signal is sent, and a value of -1 is returned. If pid specifies sending a signal to several processes, kill succeeds if it can send the signal to at least one of them. There’s no way you can tell which of the processes got the signal or whether all of them did.

Function: waitpid pid options

The waitpid function suspends execution of the current process until a child as specified by the pid argument has exited, or until a signal is deliverd whose action is to terminate the current process or to call a signal handling function. If a child as requested by pid has already exited by the time of the call (a so-called zombie process), the function returns immediately. Any system resources used by the child are freed.

The value of pid can be one of:

< -1: which means to wait for any child process whose process group ID is equal to the absolute value of
-1: which means to wait for any child process whose process group ID is equal to the (abs pid).
-1: which means to wait for any child process; this is the same behaviour which wait exhibits.
0: which means to wait for any child process whose process group ID is equal to that of the calling process.
> 0: which means to wait for the child whose process ID is equal to the value of pid.

The value of options is one of the following:

Nothing special.
(WNOHANG) which means to return immediately if no child is there to be waited for.
(WUNTRACED) which means to also return for children which are stopped, and whose status has not been reported.
Which means both of the above.

The return value is normally the process ID of the child process whose status is reported. If the WNOHANG option was specified and no child process is waiting to be noticed, the value is zero. A value of #f is returned in case of error and errno is set. For information about the errno codes See Process Completion in libc.

Function: uname

You can use the uname procedure to find out some information about the type of computer your program is running on.

Returns a vector of strings. These strings are:

The name of the operating system in use.
The network name of this particular computer.
The current release level of the operating system implementation.
The current version level within the release of the operating system.
Description of the type of hardware that is in use.
Some examples are ‘"i386-ANYTHING"’, ‘"m68k-hp"’, ‘"sparc-sun"’, ‘"m68k-sun"’, ‘"m68k-sony"’ and ‘"mips-dec"’.

Function: getpw name

Function: getpw uid

Function: getpw

Returns a vector of information for the entry for NAME, UID, or the next entry if no argument is given. The information is:

The user’s login name.
The encrypted password string.
The user ID number.
The user’s default group ID number.
A string typically containing the user’s real name, and possibly other information such as a phone number.
The user’s home directory, initial working directory, or #f, in which case the interpretation is system-dependent.
The user’s default shell, the initial program run when the user logs in, or #f, indicating that the system default should be used.

Function: setpwent #t: Rewinds the pw entry table back to the begining.
Function: setpwent #f
Function: setpwent: Closes the pw table.

Function: getgr name

Function: getgr uid

Function: getgr

Returns a vector of information for the entry for NAME, UID, or the next entry if no argument is given. The information is:

The name of the group.
The encrypted password string.
The group ID number.
A list of (string) names of users in the group.

Function: setgrent #t: Rewinds the group entry table back to the begining.
Function: setgrent #f
Function: setgrent: Closes the group table.

Function: getgroups: Returns a vector of all the supplementary group IDs of the process.

Function: link oldname newname

The link function makes a new link to the existing file named by oldname, under the new name newname.

link returns a value of #t if it is successful and #f on failure.

Function: chown filename owner group

The chown function changes the owner of the file filename to owner, and its group owner to group.

chown returns a value of #t if it is successful and #f on failure.

Function: ttyname port: If port port is associated with a terminal device, returns a string containing the file name of termainal device; otherwise #f.

5.6 Unix Extensions

If 'unix is provided (by linking in ‘unix.o’), the following functions are defined:

These priveledged and symbolic link functions are not in Posix:

Function: symlink oldname newname

The symlink function makes a symbolic link to oldname named newname.

symlink returns a value of #t if it is successful and #f on failure.

Function: readlink filename: Returns the value of the symbolic link filename or #f for failure.

Function: lstat filename: The lstat function is like stat, except that it does not follow symbolic links. If filename is the name of a symbolic link, lstat returns information about the link itself; otherwise, lstat works like stat. See section I/O-Extensions.

Function: nice increment: Increment the priority of the current process by increment. chown returns a value of #t if it is successful and #f on failure.

Function: acct filename

When called with the name of an exisitng file as argument, accounting is turned on, records for each terminating pro-cess are appended to filename as it terminates. An argument of #f causes accounting to be turned off.

acct returns a value of #t if it is successful and #f on failure.

Function: mknod filename mode dev

The mknod function makes a special file with name filename and modes mode for device number dev.

mknod returns a value of #t if it is successful and #f on failure.

Function: sync: sync first commits inodes to buffers, and then buffers to disk. sync() only schedules the writes, so it may return before the actual writing is done. The value returned is unspecified.

5.7 Regular Expression Pattern Matching

These functions are defined in ‘rgx.c’ using a POSIX or GNU regex library. If your computer does not support regex, a package is available via ftp from ‘prep.ai.mit.edu:/pub/gnu/regex-0.12.tar.gz’. For a description of regular expressions, See syntax in "regex" regular expression matching library.

Function: regcomp pattern [flags]

Compile a regular expression. Return a compiled regular expression, or an integer error code suitable as an argument to regerror.

flags in regcomp is a string of option letters used to control the compilation of the regular expression. The letters may consist of:

‘n’: newlines won’t be matched by . or hat lists; ( [^...] )
‘i’: ignore case. only when compiled with _GNU_SOURCE:
‘0’: allows dot to match a null character.
‘f’: enable GNU fastmaps.

Function: regerror errno: Returns a string describing the integer errno returned when regcomp fails.

Function: regexec re string: Returns #f or a vector of integers. These integers are in doublets. The first of each doublet is the index of string of the start of the matching expression or sub-expression (delimited by parentheses in the pattern). The last of each doublet is index of string of the end of that expression. #f is returned if the string does not match.

Function: regmatch? re string: Returns #t if the pattern such that regexp = (regcomp pattern) matches string as a POSIX extended regular expressions. Returns #f otherwise.

Function: regsearch re string [start [len]]

Function: regsearchv re string [start [len]]

Function: regmatch re string [start [len]]

Function: regmatchv re string [start [len]]

Regsearch searches for the pattern within the string.

Regmatch anchors the pattern and begins matching it against string.

Regsearch returns the character position where re starts, or #f if not found.

Regmatch returns the number of characters matched, #f if not matched.

Regsearchv and regmatchv return the match vector is returned if re is found, #f otherwise.

re

may be either:

a compiled regular expression returned by regcomp;
a string representing a regular expression;
a list of a string and a set of option letters.

string

The string to be operated upon.

start

The character position at which to begin the search or match. If absent, the default is zero.

Compiled _GNU_SOURCE and using GNU libregex only:

When searching, if start is negative, the absolute value of start will be used as the start location and reverse searching will be performed.

len

The search is allowed to examine only the first len characters of string. If absent, the entire string may be examined.

Function: string-split re string

Function: string-splitv re string

String-split splits a string into substrings that are separated by re, returning a vector of substrings.

String-splitv returns a vector of string positions that indicate where the substrings are located.

Function: string-edit re edit-spec string [count]

Returns the edited string.

edit-spec: Is a string used to replace occurances of re. Backquoted integers in the range of 1-9 may be used to insert subexpressions in re, as in sed.
count: The number of substitutions for string-edit to perform. If #t, all occurances of re will be replaced. The default is to perform one substitution.

5.8 Line Editing

These procedures provide input line editing and recall.

These functions are defined in ‘edline.c’ and ‘Iedline.scm’ using the editline or GNU readline libraries available from:

ftp.sys.toronto.edu:/pub/rc/editline.shar
prep.ai.mit.edu:pub/gnu/readline-2.0.tar.gz

When ‘Iedline.scm’ is loaded, if the current input port is the default input port and the environment variable EMACS is not defined, line-editing mode will be entered.

Function: default-input-port: Returns the initial current-input-port SCM was invoked with (stdin).

Function: default-output-port: Returns the initial current-output-port SCM was invoked with (stdout).

Function: make-edited-line-port: Returns an input/output port that allows command line editing and retrieval of history.

Function: line-editing: Returns the current edited line port or #f.
Function: line-editing bool: If bool is false, exits line-editing mode and returns the previous value of (line-editing). If bool is true, sets the current input and output ports to an edited line port and returns the previous value of (line-editing).

5.9 Curses

These functions are defined in ‘crs.c’ using the curses library. Unless otherwise noted these routines return #t for successful completion and #f for failure.

Function: initscr: Returns a port for a full screen window. This routine must be called to initialize curses.

Function: endwin: A program should call endwin before exiting or escaping from curses mode temporarily, to do a system call, for example. This routine will restore termio modes, move the cursor to the lower left corner of the screen and reset the terminal into the proper non-visual mode. To resume after a temporary escape, call refresh.

5.9.1 Output Options Setting

These routines set options within curses that deal with output. All options are initially #f, unless otherwise stated. It is not necessary to turn these options off before calling endwin.

Function: clearok win bf: If enabled (bf is #t), the next call to force-output or refresh with win will clear the screen completely and redraw the entire screen from scratch. This is useful when the contents of the screen are uncertain, or in some cases for a more pleasing visual effect.

Function: idlok win bf

If enabled (bf is #t), curses will consider using the hardware “insert/delete-line” feature of terminals so equipped. If disabled (bf is #f), curses will very seldom use this feature. The “insert/delete-character” feature is always considered. This option should be enabled only if your application needs “insert/delete-line”, for example, for a screen editor. It is disabled by default because

“insert/delete-line” tends to be visually annoying when used in applications where it is not really needed. If “insert/delete-line” cannot be used, curses will redraw the changed portions of all lines.

Function: leaveok win bf: Normally, the hardware cursor is left at the location of the window cursor being refreshed. This option allows the cursor to be left wherever the update happens to leave it. It is useful for applications where the cursor is not used, since it reduces the need for cursor motions. If possible, the cursor is made invisible when this option is enabled.

Function: scrollok win bf

This option controls what happens when the cursor of window win is moved off the edge of the window or scrolling region, either from a newline on the bottom line, or typing the last character of the last line. If disabled (bf is #f), the cursor is left on the bottom line at the location where the offending character was entered. If enabled (bf is #t), force-output is called on the window win, and then the physical terminal and window win are scrolled up one line.

Note: in order to get the physical scrolling effect on the terminal, it is also necessary to call idlok.

Function: nodelay win bf: This option causes wgetch to be a non-blocking call. If no input is ready, wgetch will return an eof-object. If disabled, wgetch will hang until a key is pressed.

5.9.2 Terminal Mode Setting

These routines set options within curses that deal with input. The options involve using ioctl(2) and therefore interact with curses routines. It is not necessary to turn these options off before calling endwin. The routines in this section all return an unspecified value.

Function: cbreak

Function: nocbreak

These two routines put the terminal into and out of CBREAK mode, respectively. In CBREAK mode, characters typed by the user are immediately available to the program and erase/kill character processing is not performed. When in NOCBREAK mode, the tty driver will buffer characters typed until a <LFD> or <RET> is typed. Interrupt and flowcontrol characters are unaffected by this mode. Initially the terminal may or may not be in CBREAK mode, as it is inherited, therefore, a program should call cbreak or nocbreak explicitly. Most interactive programs using curses will set CBREAK mode.

Note: cbreak overrides raw. For a discussion of how these routines interact with echo and noecho See section read-char.

Function: raw
Function: noraw: The terminal is placed into or out of RAW mode. RAW mode is similar to CBREAK mode, in that characters typed are immediately passed through to the user program. The differences are that in RAW mode, the interrupt, quit, suspend, and flow control characters are passed through uninterpreted, instead of generating a signal. RAW mode also causes 8-bit input and output. The behavior of the BREAK key depends on other bits in the terminal driver that are not set by curses.

Function: echo
Function: noecho: These routines control whether characters typed by the user are echoed by read-char as they are typed. Echoing by the tty driver is always disabled, but initially read-char is in ECHO mode, so characters typed are echoed. Authors of most interactive programs prefer to do their own echoing in a controlled area of the screen, or not to echo at all, so they disable echoing by calling noecho. For a discussion of how these routines interact with echo and noecho See section read-char.

Function: nl
Function: nonl: These routines control whether <LFD> is translated into <RET> and LFD on output, and whether <RET> is translated into <LFD> on input. Initially, the translations do occur. By disabling these translations using nonl, curses is able to make better use of the linefeed capability, resulting in faster cursor motion.

Function: resetty
Function: savetty: These routines save and restore the state of the terminal modes. savetty saves the current state of the terminal in a buffer and resetty restores the state to what it was at the last call to savetty.

5.9.3 Window Manipulation

Function: newwin nlines ncols begy begx: Create and return a new window with the given number of lines (or rows), nlines, and columns, ncols. The upper left corner of the window is at line begy, column begx. If either nlines or ncols is 0, they will be set to the value of LINES-begy and COLS-begx. A new full-screen window is created by calling newwin(0,0,0,0).

Function: subwin orig nlines ncols begy begx: Create and return a pointer to a new window with the given number of lines (or rows), nlines, and columns, ncols. The window is at position (begy, begx) on the screen. This position is relative to the screen, and not to the window orig. The window is made in the middle of the window orig, so that changes made to one window will affect both windows. When using this routine, often it will be necessary to call touchwin or touchline on orig before calling force-output.

Function: close-port win: Deletes the window win, freeing up all memory associated with it. In the case of sub-windows, they should be deleted before the main window win.

Function: refresh
Function: force-output win: These routines are called to write output to the terminal, as most other routines merely manipulate data structures. force-output copies the window win to the physical terminal screen, taking into account what is already there in order to minimize the amount of information that’s sent to the terminal (called optimization). Unless leaveok has been enabled, the physical cursor of the terminal is left at the location of window win’s cursor. With refresh, the number of characters output to the terminal is returned.

Function: mvwin win y x: Move the window win so that the upper left corner will be at position (y, x). If the move would cause the window win to be off the screen, it is an error and the window win is not moved.

Function: overlay srcwin dstwin
Function: overwrite srcwin dstwin: These routines overlay srcwin on top of dstwin; that is, all text in srcwin is copied into dstwin. srcwin and dstwin need not be the same size; only text where the two windows overlap is copied. The difference is that overlay is non-destructive (blanks are not copied), while overwrite is destructive.

Function: touchwin win
Function: touchline win start count: Throw away all optimization information about which parts of the window win have been touched, by pretending that the entire window win has been drawn on. This is sometimes necessary when using overlapping windows, since a change to one window will affect the other window, but the records of which lines have been changed in the other window will not reflect the change. touchline only pretends that count lines have been changed, beginning with line start.

Function: wmove win y x: The cursor associated with the window win is moved to line (row) y, column x. This does not move the physical cursor of the terminal until refresh (or force-output) is called. The position specified is relative to the upper left corner of the window win, which is (0, 0).

5.9.4 Output

These routines are used to draw text on windows

Function: display ch win

Function: display str win

Function: wadd win ch

Function: wadd win str

The character ch or characters in str are put into the window win at the current cursor position of the window and the position of win’s cursor is advanced. At the right margin, an automatic newline is performed. At the bottom of the scrolling region, if scrollok is enabled, the scrolling region will be scrolled up one line.

If ch is a <TAB>, <LFD>, or backspace, the cursor will be moved appropriately within the window win. A <LFD> also does a wclrtoeol before moving. <TAB> characters are considered to be at every eighth column. If ch is another control character, it will be drawn in the C-x notation. (Calling winch after adding a control character will not return the control character, but instead will return the representation of the control character.)

Video attributes can be combined with a character by or-ing them into the parameter. This will result in these attributes also being set. The intent here is that text, including attributes, can be copied from one place to another using inch and display. See standout, below.

Note: For wadd ch can be an integer and will insert the character of the corresponding value.

Function: werase win: This routine copies blanks to every position in the window win.

Function: wclear win: This routine is like werase, but it also calls clearok, arranging that the screen will be cleared completely on the next call to refresh or force-output for window win, and repainted from scratch.

Function: wclrtobot win: All lines below the cursor in window win are erased. Also, the current line to the right of the cursor, inclusive, is erased.

Function: wclrtoeol win: The current line to the right of the cursor, inclusive, is erased.

Function: wdelch win: The character under the cursor in the window win is deleted. All characters to the right on the same line are moved to the left one position and the last character on the line is filled with a blank. The cursor position does not change. This does not imply use of the hardware “delete-character” feature.

Function: wdeleteln win: The line under the cursor in the window win is deleted. All lines below the current line are moved up one line. The bottom line win is cleared. The cursor position does not change. This does not imply use of the hardware “deleteline” feature.

Function: winsch win ch: The character ch is inserted before the character under the cursor. All characters to the right are moved one <SPC> to the right, possibly losing the rightmost character of the line. The cursor position does not change . This does not imply use of the hardware “insertcharacter” feature.

Function: winsertln win: A blank line is inserted above the current line and the bottom line is lost. This does not imply use of the hardware “insert-line” feature.

Function: scroll win: The window win is scrolled up one line. This involves moving the lines in win’s data structure. As an optimization, if win is stdscr and the scrolling region is the entire window, the physical screen will be scrolled at the same time.

5.9.5 Input

Function: read-char win

A character is read from the terminal associated with the window win. Depending on the setting of cbreak, this will be after one character (CBREAK mode), or after the first newline (NOCBREAK mode). Unless noecho has been set, the character will also be echoed into win.

When using read-char, do not set both NOCBREAK mode (nocbreak) and ECHO mode (echo) at the same time. Depending on the state of the terminal driver when each character is typed, the program may produce undesirable results.

Function: winch win: The character, of type chtype, at the current position in window win is returned. If any attributes are set for that position, their values will be OR’ed into the value returned.

Function: getyx win: A list of the y and x coordinates of the cursor position of the window win is returned

5.9.6 Curses Miscellany

Function: wstandout win

Function: wstandend win

These functions set the current attributes of the window win. The current attributes of win are applied to all characters that are written into it. Attributes are a property of the character, and move with the character through any scrolling and insert/delete line/character operations. To the extent possible on the particular terminal, they will be displayed as the graphic rendition of characters put on the screen.

wstandout sets the current attributes of the window win to be visibly different from other text. wstandend turns off the attributes.

Function: box win vertch horch

A box is drawn around the edge of the window win. vertch and horch are the characters the box is to be drawn with. If vertch and horch are 0, then appropriate default characters, ACS_VLINE and ACS_HLINE, will be used.

Note: vertch and horch can be an integers and will insert the character (with attributes) of the corresponding values.

Function: unctrl c: This macro expands to a character string which is a printable representation of the character c. Control characters are displayed in the C-x notation. Printing characters are displayed as is.

5.10 Sockets

These procedures (defined in ‘socket.c’) provide a Scheme interface to most of the C socket library. For more information on sockets, See Sockets in The GNU C Library Reference Manual.

5.10.1 Host Data, Network, Protocol, and Service Inquiries

Constant: af_inet
Constant: af_unix: Integer family codes for Internet and Unix sockets, respectively.

Function: gethost host-spec

Function: gethost

Returns a vector of information for the entry for HOST-SPEC or the next entry if HOST-SPEC isn’t given. The information is:

host name string
list of host aliases strings
integer address type (AF_INET)
integer size of address entries (in bytes)
list of integer addresses

Function: sethostent stay-open
Function: sethostent: Rewinds the host entry table back to the begining if given an argument. If the argument stay-open is #f queries will be be done using UDP datagrams. Otherwise, a connected TCP socket will be used. When called without an argument, the host table is closed.

Function: getnet name-or-number

Function: getnet

Returns a vector of information for the entry for name-or-number or the next entry if an argument isn’t given. The information is:

official network name string
list of network aliases strings
integer network address type (AF_INET)
integer network number

Function: setnetent stay-open
Function: setnetent: Rewinds the network entry table back to the begining if given an argument. If the argument stay-open is #f the table will be closed between calls to getnet. Otherwise, the table stays open. When called without an argument, the network table is closed.

Function: getproto name-or-number

Function: getproto

Returns a vector of information for the entry for name-or-number or the next entry if an argument isn’t given. The information is:

official protocol name string
list of protocol aliases strings
integer protocol number

Function: setprotoent stay-open
Function: setprotoent: Rewinds the protocol entry table back to the begining if given an argument. If the argument stay-open is #f the table will be closed between calls to getproto. Otherwise, the table stays open. When called without an argument, the protocol table is closed.

Function: getserv name-or-port-number protocol

Function: getserv

Returns a vector of information for the entry for name-or-port-number and protocol or the next entry if arguments aren’t given. The information is:

official service name string
list of service aliases strings
integer port number
protocol

Function: setservent stay-open
Function: setservent: Rewinds the service entry table back to the begining if given an argument. If the argument stay-open is #f the table will be closed between calls to getserv. Otherwise, the table stays open. When called without an argument, the service table is closed.

5.10.2 Internet Addresses

Function: inet:string->address string: Returns the host address number (integer) for host string or #f if not found.

Function: inet:address->string address: Converts an internet (integer) address to a string in numbers and dots notation. This is an inverse function to inet:address.

Function: inet:network address: Returns the network number (integer) specified from address or #f if not found.

Function: inet:local-network-address address: Returns the integer for the address of address within its local network or #f if not found.

Function: inet:make-address network local-address: Returns the Internet address of local-address in network.

5.10.3 Socket

When a port is returned from one of these calls it is unbuffered. This allows both reading and writing to the same port to work. If you want buffered ports you can (assuming sock-port is a socket i/o port):

(require 'i/o-extensions)
(define i-port (duplicate-port sock-port "r"))
(define o-port (duplicate-port sock-port "w"))

Function: make-stream-socket family
Function: make-stream-socket family protocol: Returns a SOCK_STREAM socket of type family using protocol. If family has the value AF_INET, SO_REUSEADDR will be set. The integer argument protocol corresponds to the integer protocol numbers returned (as vector elements) from (getproto). If the protocol argument is not supplied, the default (0) for the specified family is used. SCM sockets look like ports opened for neither reading nor writing.

Function: make-stream-socketpair family
Function: make-stream-socketpair family protocol: Returns a pair (cons) of connected SOCK_STREAM (socket) ports of type family using protocol. Many systems support only socketpairs of the af-unix family. The integer argument protocol corresponds to the integer protocol numbers returned (as vector elements) from (getproto). If the protocol argument is not supplied, the default (0) for the specified family is used.

Function: socket:shutdown socket how

Makes socket no longer respond to some or all operations depending on the integer variable how:

Further input is disallowed.
Further output is disallowed.
Further input or output is disallowed.

Socket:shutdown returns socket if successful, #f if not.

Function: socket:connect inet-socket host-number port-number
Function: socket:connect unix-socket pathname: Returns socket (changed to a read/write port) connected to the Internet socket on host host-number, port port-number or the Unix socket specified by pathname. Returns #f if not successful.

Function: socket:bind inet-socket port-number
Function: socket:bind unix-socket pathname: Returns inet-socket bound to the integer port-number or the unix-socket bound to new socket in the file system at location pathname. Returns #f if not successful. Binding a unix-socket creates a socket in the file system that must be deleted by the caller when it is no longer needed (using delete-file).

Function: socket:listen socket backlog: The bound (see section socket-bind) socket is readied to accept connections. The positive integer backlog specifies how many pending connections will be allowed before further connection requests are refused. Returns socket if successful, #f if not.

Function: socket:accept socket

Accepts a connection on a bound, listening socket. Returns an input/output port for the connection.

For example:

(let ((sock (socket:bind (make-stream-socket af_inet) 8001)))
  (socket:listen sock 5)
  (do ((connection (socket:accept sock) (socket:accept sock)))
      (#f)
    (handle-client-connection connection))))

A type socket-name is used for inquiries about open sockets in the following procedures:

Function: getsockname socket: Returns the socket-name of socket. Returns #f if unsuccessful or socket is closed.

Function: getpeername socket: Returns the socket-name of the socket connected to socket. Returns #f if unsuccessful or socket is closed.

Function: socket-name:family socket-name: Returns the integer code for the family of socket-name.

Function: socket-name:port-number socket-name: Returns the integer port number of socket-name.

Function: socket-name:address socket-name: Returns the integer Internet address for socket-name.

6 Guile Facilities

Using SCM as a base, GUILE is a being developed to be a GNU scripting language.

One design goal of GUILE is to fully support a large body of Emacs lisp code and a large population of Emacs lisp programmers. GUILE accomplishes this goal by means of a translator that rewrites elisp programs as equivalent programs in extended GUILE Scheme. We anticipate a port of the GNU Emacs built-ins to the GUILE environment.

Tom Lord (Lord@cygnus.com) is coordinating GUILE’s development.

6.1 Locked Vectors		You can define the layout of new types.
6.2 Exceptions		Cheap CATCH/THROW for errors and exits.
6.3 System Exceptions		All error conditions can be caught by Scheme code.
6.4 Variables		First class locatives for top level variables.
6.5 User Defined Top Levels		You can control the symbol->variable mapping.
6.6 Obarrays		First class tables for interning symbols.
6.7 Keywords
6.8 Procedure Properties
6.9 Dynamic Roots		Creating uncapturable continuations.
6.10 Tcl Facilities		Mutual calling between Tcl and Scheme.
6.11 Tk Facilities		Accessing Tk from Scheme.
6.12 Gwish		A Wish-like application of Guile.
6.13 System Calls		You can choose to ignore errors safely.
6.14 Gscsh		Shell and systems programming features.

6.1 Locked Vectors

Locked vectors lvectors are a low level means by which Scheme code can define the representation of new types. They are not themselves especially easy to use, but useful system can be built on top of them (for example, see Records in SLIB).

User code should be selective about using lvector functions. Lvectors are intended as the representation for user-defined types. Types which otherwise have nothing to do with one another may have in common an lvector representation. Using lvector functions in a context other than defining a new type or family of types is likely to be an unsupported violation of abstractions – something you generally only want to do when you are debugging or are willing to write hacked up (in the pejorative sense) code.

Locked vectors have an internal representation similar to vectors. They are represented by a contiguous array in memory. Access and modifications to fields can be done in constant time. Like vectors, fields of a locked vector are addressed by integer addresses, based at 0.

The 0 element of a locked vector is special. It is called the key vector. It’s use is comparable to that of type objects in other systems.

The key vector must always be present (there is no such thing as a 0 length lvector). It must be a (normal) vector with at least as many elements as the lvector. The elements of the key vector are used as keys which control access to the corresponding elements of the lvector.

Keys are used this way: Procedures like lvector-ref and lvector-set! take a key argument in addition to the lvector and field index. The key argument is compared to the indexed element of the key vector. If they are the same (eq?), access to the lvector is granted. If an access or modification fails because of an incorrect key, it may be retried.

If element 0 of the key vector is itself an lvector, the first several elements of that lvector may be hook functions. These hook functions are used to extend the behavior of built-in procedures. Hook functions are explained in more detail at the end of this section.

6.1.1 Lvector Procedures

Function: lock-vector! vec

Modify vec so that it is a locked vector instead of a vector. Once it is locked, ordinary vector operations no longer apply to vec, and vector? returns #f for vec.

In order to be locked, vec must have at least one element. The 0 element of vec must be a key vector (see above).

lock-vector! is currently the only way to construct a locked vector. However, the decision to create locked vectors by mutating vectors is a dubious one. Therefore, you should only use lock-vector! by wrapping it around a vector constructor, as in:

(lock-vector! (apply vector (cons key-vector field-inits)))

Following this convention will make it easier to replace lock-vector! with a more reasonable constructor later.

Function: unlock-vector! lvec

Modify lvec so that it is once again the vector passed to lock-vector!.

You should only use unlock-vector! for debugging. It is not guaranteed to be present in future versions of Guile.

Function: lvector-ref lvec key index

Return the indexth element of lvec.

If key matches the indexth element of the key vector of lvec, then the indexth element of lvec is returned. If the key does not match, then the ref-fn hook is tried (hooks are documented below). If the indexth element can not be unlocked, an error is signaled.

Function: lvector-set! lvec key index val

Set the indexth element of lvec.

If key matches the indexth element of the key vector of lvec, then the indexth element of lvec is set. If the key does not match, then the set-fn hook is tried (see below). If the indexth element can not be unlocked, an error is signaled.

Function: lvector? obj: True if OBJ is indeed a locked vector.

Function: lvector-keys lvec: Return the key vector of lvec, a locked vector.

Function: lvector-accessor key-vec index

Return an accessor for key-vec and index. This function is defined as:

(define (lvector-accessor keyvec index)
   (lambda (lvec)
      (lvector-ref lvec (vector-ref keyvec index) index)))

However, the built-in version returns an accessor function that is faster than what the above code would return.

Function: lvector-modifier key-vec index

Return an modifier for key-vec and index.

This function is defined as:

(define (lvector-modifier keyvec index)
   (lambda (lvec val)
      (lvector-set!  lvec (vector-ref keyvec index) index val)))

However, the built-in version returns an modifier function that is faster than what the above code would return.

Function: lvector-isa? lvector key-vector

Return #t if lvector’s 0th element is eq? to key-vector.

If key-vector is not equal to element 0, lvector-isa? may yet return a true value – it returns the (arbitrary) return value of the isa-fn?, if that hook is provided.

6.1.2 Key-Vector 0 Elements

The first element of the key vector is special. It may refer to a number of hook functions used by the lvector procedures and other parts of the run time system.

The 0 element of a key vector may (optionally) be an lvector called the type lvector. A type lvector is characterized by having as a key the procedure lvector-ref for elements at offsets where hook functions are expected.

The hook function offsets are bound to the variables lvector-hook-<fn>; so the ref-fn is at the offset bound to lvector-ref-fn, the set-fn to lvector-set-fn and so on.

The order and position of the hooks is explicitly specified:

ref-fn
set-fn
print-fn
equal-fn
isa-fn

Here is how they are used:

Hook: ref-fn lvec key index: This function is called by lvector-ref for illegal keys. A key is illegal if it is not eq? to the indexth key of the key vector of lvec. The ref-fn hook may return a value for lvector-ref or can signal an error. The default action is to signal an error.

Hook: set-fn lvec key index val: This function is called by lvector-set! for illegal keys. This hook can interpret the assignment arbitrarily, including signal an error. It can return a value for lvector-set!. The default action is to signal an error.

Hook: print-fn lvec port writing?: This function, if present, is called whenever the object is printed. It should print the object on port. writing?, if #t, indicates that the value is being writen; if #f – displayed. The print function should return a true value if it succeeds. It should return #f for objects which it can not print. In that case, a generic print routine for unknown objects is used. The default action (if no print-fn is supplied) is to print something like: ‘#<locked-vector 0x7856af8>’.

Predicate: equal-fn? lvec lvec2: If present, called to evaluate (equal? lvec lvec2). The default action is a member-wise comparison of the two lvecs. Note that the first argument to equal? chooses the hook function.

Predicate: isa-fn? lvec key-vector

If present, this may be called by lvector-isa?.

If key-vector is eq to lvecs key-vector, then lvector-isa? simply returns #t. If not, if the isa-fn is present, it is called. The default action is to return #f.

Any of the hooks may be #f specifying that the default action should be used.

Variable: lvector-hook-slots: The variable lvector-hook-slots is bound to the number of hook slots looked for by the run time system. A type lvector should have at least that many fields.

Here is an illustration of the construction of lvectors. Note that two lvectors are built – one to hold the hook functions, and then the one for user code.

;; Create a key vector compatible with the run-time system's
;; way of finding hook functions.
;;
(define a-type-keyvec
  ;; The run-time system uses procedure lvector-ref as the key
  ;; to access hook functions.  You could define type keyvecs
  ;; with more elements if you had a use for them.
  ;;
  (make-vector lvector-hook-slots lvector-ref))

;; Lock up user-provided hook functions for the run-time system.
;; A var-args implementation would make more sense -- it would
;; make it easier to add hooks later.  The example is written
;; this way just to provide a reference for the proper order
;; of hook functions within the lvector.
;;
(define (make-type-lvector ref-hook set-hook print-hook
                           equal-hook isa-hook)
  (lock-vector! (vector a-type-keyvec
                        ref-hook
                        set-hook
                        print-hook
                        equal-hook
                        isa-hook)))

;; Turn a list of field keys into a key vector of a particular
;; type:
;;
(define (make-key-vector type-lvector . field-keys)
  (apply vector (cons type-lvector field-keys)))

;; Turn a key-vector and list of field initializers into
;; a locked vector.  Note that lock-vector! does some error
;; checking on the lengths of the input arguments.
;;
(define (make-object key-vector . field-inits)
  (lock-vector! (apply (vector (cons key-vector field-inits)))))

6.2 Exceptions

These are the low level entry points to exceptions. Individual subsystems may define their own uses for exceptions.

Function: catch key thunk handler

Invoke thunk in the dynamic context of handler for excpetions matching key. If thunk throws to the symbol key, then handler is invoked this way:

(handler key args ...)

key may be a symbol. In that case, thunk takes no arguments. If thunk returns normally, that is the return value of catch.

Handler is invoked outside the scope of its own catch. If handler against throws to the same key, a new handler from further up the call chain is invoked.

If the key is #t, then a throw to any symbol will match this call to catch.

Key may also be the value #f. In that case, thunk takes one argument which will be passed a jump buffer object. A jump buffer object may be used as the key argument to throw to throw to a specific catch without an intervening search for a symbolic key.

Function: throw key args ...

Function: throw key

Invoke the catch form matching key, passing args to the handler.

If the key is a symbol it will match catches of the same symbol or of #t. If no catch matches, the throw-default-handler property of the key is checked. If it is bound to a procedure, that procedure is called:

(handler key args ...)

That procedure is called the default handler.

If there is no handler at all, or if the default handler returns to its caller, an error is signaled.

It is traditional in Scheme to implement exception systems using call-with-current-continuation, but his has not been done, for performance reaons. The implementation of call-with-current-continuation is a stack copying implementation. This allows it to interact well with ordinary C code. Unfortunately, a stack-copying implementation can be slow – creating a new continuation involves a block copy of the stack.

Instead of using call-with-current-continuation, the exception primitives are implemented as built-ins that take advantage of the upward only nature of exceptions.

6.3 System Exceptions

These two expressions are equivalent:

(error arg ...)
       
(throw 'error arg ...)

The following are the names of excpetions that may be thrown by the interpreter itself.

ARGn		"Wrong type argument"
ARG1		"Wrong type argument in position 1"
ARG2		"Wrong type argument in position 2"
ARG3		"Wrong type argument in position 3"
ARG4	        "Wrong type argument in position 4"
ARG5		"Wrong type argument in position 5"
WNA		"Wrong number of arguments"
OVFLOW		"Numerical overflow"
OUTOFRANGE	"Argument out of range"
NALLOC		"Could not allocate"
HUP_SIGNAL	"hang-up"
INT_SIGNAL	"user interrupt"
FPE_SIGNAL	"arithmetic error"
BUS_SIGNAL	"bus error"
SEGV_SIGNAL	"segmentation violation"
ALRM_SIGNAL	"alarm"

read-sharp-error

6.4 Variables

All top level bindings are stored in locations called variables. Variables are first class objects.

Function: make-variable init

Function: make-variable init name-hint

Return a new variable, bound to init.

The optional name-hint is a symbolic name for the variable. It will be used in some error messages relating to the variable.

Function: variable-ref variable

Return the current binding of variable.

It is an error to call variable-ref on a variable which is unbound.

Function: variable-set! variable value: Modify the binding of variable.

Function: builtin-variable name

Return the built-in variable for named name. name must be a symbol.

Even symbols with no top level bindings have built-in variables. There is an unbounded supply of undefined variables.

Predicate: variable? obj: Return #t if obj is a variable; #f otherwise.

Predicate: variable-bound? var: Return #t if var is a bound variable; #f otherwise.

Function: make-undefined

Function: make-undefined name-hint

Return a new variable, initially unbound.

The optional name-hint a symbolic name for the variable. It will be used in some error messages relating to the variable.

6.5 User Defined Top Levels

Low level support is provided for multiple top levels. This procedure should only be used advisadly. Most people should stick to the user level module system interface.

Function: eval2 form env-fn

Evaluate form in the top level environment described by env-fn.

env-fn is called this way:

(env-fn name defining)

Return a variable object for the symbol name. Returning #f indicates that name has no binding.

The boolean defining is #t, then the lookup is for a define form or the equivalent – a new variable may be created if none already exists.

If #f, then the request should not create a new binding.

6.6 Obarrays

An obarray is an ordinary Scheme vector, used in a particular way. It represents two mapping: a mapping of strings to symbols, and a mapping of symbols to arbitrary values.

To initialize an obarray, create a vector of any non-0 size, filled with the empty list. Thereafter, referring to the contents of the vector yields unspecified values. (You might be able guess the detailed representation of obarrays by examining the array, but if your code depends on that representation, it might easily break in future versions of Guile.)

Function: intern-string obarray name

Return the symbol bound to the stringname in obarray.

If there is no such symbol, a new symbol is allocated. obarray may be #f which guarantees that a new symbol is returned.

Function: intern-symbol obarray symbol

Add symbol to obarray. If symbol is already present, this has no effect.

After this addition, symbol is the symbol binding of its name. That is, even if another symbol of the same name was previously interned in obarray, symbol becomes the binding of that name after intern-symbol. (This does not mean that the previous symbol is removed from the obarray).

Function: symbol-interned? obarray symbol: Return #t if symbol is in obarray.

Function: symbol-bound? obarray symbol
Function: symbol-binding obarray symbol
Function: symbol-set! obarray symbol value: A symbol in an obarray may be bound arbitrarily. The binding may be changed. When first interned, a symbol is unbound.

6.7 Keywords

A keyword is a self-evaluating symbol-like object with a convenient read syntax.

        (keyword? :keyword) => #t

Function: symbol->keyword symbol

Construct a keyword from a symbol.

        (symbol->keyword 'fnord) => :fnord

Function: make-symbol symbol

A low-level way to construct a keyword from a symbol, convenient when dealing with Tcl or Unix. The first character of the symbol’s name must be ’-’.

        (make-keyword '-command) => :command

Function: keyword? obj: Return #f unless obj is a keyword object.

Function: keyword->symbol keyword

Return the symbol that corresponds to a keyword.

        (keyword->symbol :text) => -text

6.8 Procedure Properties

Procedures created using "define" or "lambda" have a binding slot which you can use arbitrarily. Many parts of the system will presume that this slot will contain a (possible empty) assoc list, keyed by symbols (‘procedure properties’). If your procedure will be manipulated by a part of the system which is documented as using property lists, you should follow the convention, and use a unique prefix for all property names that you define. Procedures which do not escape to such parts of the system can hve any value at all in their binding slot.

It is an arbitrary restriction that (some) built-in procedures lack a binding slot. This ought to be fixed. The reason it hasn’t been fixed already is that the representation of the binding slot has to be chosen carefully for built-in procedure types.

Function: procedure-properties procedure
Function: set-procedure-properties! procedure value: Return or set the value held in a procedures binding slow.

Function: procedure-property proc key

Function: procedure-assoc proc key

Function: procedure-putprop! proc key value

Retrieve or get the binding of a particular procedure property.

These functions assume that the binding slot of the procedure holds an assoc list.

procedure-property returns the binding of the property while procedure-assoc returns the key-value pair that holds the binding.

6.9 Dynamic Roots

A dynamic root is a root frame of Scheme evaluation. The top-level repl, for example, is an instance of a dynamic root.

Each dynamic root has its own chain of dynamic-wind information. Each has its own set of continuations, jump-buffers, and pending CATCH statements which are inaccessible from the dynamic scope of any other dynamic root.

In a thread-based system, each thread has its own dynamic root. Therefore, continuations created by one thread may not be invoked by another. [Thread support is not yet fully implemented.]

Even in a single-threaded system, it is sometimes useful to create a new dynamic root. For example, if you want to apply a procedure, but to not allow that procedure to capture the current continuation, calling the procedure under a new dynamic root will do the job.

Function: call-with-dynamic-root thunk error-thunk

Evaluate (thunk) in a new dynamic context, returning its value.

If an error occurs during evaluation, call error-thunk, passing it an error code describing the condition. [Error codes are currently meaningless integers. In the future, real values will be specified.] If this happens, the error-thunk is called outside the scope of the new root – it is called in the same dynamic context in which call-with-dynamic-root was evaluated.

If THUNK captures a continuation, the continuation is rooted at the call to THUNK. In particular, the call to call-with-dynamic-root is not captured. Therefore, call-with-dynamic-root always returns at most one time.

Before calling THUNK, the dynamic-wind chain is un-wound back to the root and a new chain started for THUNK. Therefore, this call may not do what you expect:

;; Almost certainly a bug:
(call-with-output-to-port
 some-port

 (lambda ()
   (call-with-dynamic-root
    (lambda ()
      (display 'fnord)
      (newline))
    (lambda (errcode) errcode))))

The problem is, on what port will ‘fnord\n’ be displayed? You might expect that because of the call-with-input-from-port that it will be displayed on the port bound to some-port. But it probably won’t – before evaluating the thunk, dynamic winds are unwound, including those created by call-with-input-from-port. So, the standard output port will have been re-set to its default value before display is evaluated.

(This function was added to Guile mostly to help calls to functions in C libraries that can not tolerate non-local exits or calls that return multiple times. If such functions call back to the interpreter, it should be under a new dynamic root.)

Function: dynamic-root

Return an object representing the current dynamic root.

These objects are only useful for comparison using eq?. They are currently represented as numbers, but your code should in no way depend on this.

6.10 Tcl Facilities

If you have Tcl extension modules written in C, these can be accessed from Guile programs. If you have an application that uses the Tcl interpreter, you can use Guile to define new modules for it – modules that can be loaded without having to re-compile.

Documented here are the low-level facilities linking Tcl to Guile. In the future, a friendlier Scheme interface will be provided in preference to these entry points.

Function: tcl-create-interp

Return a new Tcl interpreter object.

An interpreter object is a namespace of functions and variables managed by modules that use the Tcl calling conventions.

Function: tcl-global-eval interpreter string

Evaluate a string according to Tcl’s evaluation rules.

interpreter must be an object returned by tcl-create-interp.

The return value is an integer/string pair. The integer is the Tcl status code, the string is the Tcl result.

This is not the way to call a Tcl command. See the functions tcl-command and tcl-apply-command. Using those functions is faster.

N.B.: by default, most built-in Tcl commands are absent in Guile. Consequently, most Tcl programs will not run. However, facilities exist so that you can link all of libtcl with Guile programs – in which case all the usual built-in commands will be present. [add reference!]

Function: tcl-get-int interpreter string
Function: tcl-get-double interpreter string
Function: tcl-get-boolean interpreter string: Convert strings to Scheme types according to the conventions of Tcl.

Function: tcl-split-list interpreter string: Split a Tcl-style "list" (a string following Tcl’s list syntax) into a list.

Function: tcl-merge interpreter list: Combine a list of strings into a string following Tcl’s list syntax.

Function: tcl-create-command interpreter name procedure

Define a new Tcl command which is recognized by the Tcl evaluator.

interpreter must be an object returned by tcl-create-command.

name must be a string which is a valid Tcl identifier.

procedure may be any Scheme procedure object.

When the Tcl evaluator invokes the new command, procedure is called with as many arguments as were passed to the Tcl command. The arguments are all passed as strings.

The return value of procedure is used as the Tcl result. The return value of procedure determines the Tcl return value according to these rules:

if PROCEDURE returns:      the Tcl result is:   and Tcl status is:
__________________________________________________________________

string (e.g. "foo")           that string ("foo")       TCL_OK

integer (e.g. 1)              the empty string          the int
                                                            (1)

an int/string pair            the string                the int 
(e.g. (1 . "bogus frob"))        ("bogus frob")             (1)

Function: tcl-delete-command interpreter name: Remove the named command from a Tcl interpreter.

Function: tcl-trace-var2 interpreter name index flags procedure

Function: tcl-untrace-var2 interpreter name index flags procedure

Add a callback to a Tcl variable.

name is the name of the variable.

index is the subscript of the variable, or #f for a scalar.

After tcl-trace-var2, modifications to the named variable or array position cause procedure to be called with four arguments: a tcl interpreter, the variable being modified, an index into the named variable (possible the empty string), and an integer of flags.

Function: tcl-set-var2 interpreter name index value flags
Function: tcl-get-var2 interpreter name index flags: Set or return the current value of a Tcl variable.

Symbolic names for Tcl flags are provided in the source file Gtcl.scm and are the same as their C counterparts. The procedure flags is used to combine flags. For example:

(flags TCL_TRACE_READS TCL_TRACE_WRITES TCL_TRACE_UNSETS)

Tcl commands can be invoked from Scheme directly, without having to use the Tcl evaluator:

Function: tcl-command interpreter name: Return an object representing the named command (or #f if none is defined).

Function: tcl-apply-command command args

Apply Tcl command command to the list of strings args.

command should be an object returned by tcl-command.

args should be a list of arguments.

The return value is an integer/string pair. The integer is a Tcl return code, the string the Tcl result.

The arguments can be of several types but must ultimately be converted to strings because of the way Tcl and Tk work internally. Types are converted this way:

  ;;----------------------------------------
  ;; Argument             Converted argument
  ;;----------------------------------------
    123                     "123"
    123.34                  "123.34"
    "a-string"              "a-string"
    'a-symbol               "a-symbol"
    :keyword                "-keyword"
    #t                      "1"
    #f                      "0"
    (lambda (...) ...)      "*__guile#234"

The automatic conversion of a procedure works this way. First, a new Tcl name is generated for the procedure and a Tcl command with that name is defined. When evaluated, the Tcl command calls the Scheme procedure. Second, if the procedure has a property defined called ’tcl-calling-convention, and if that is bound to a string, then that string is appended to the name with an intervening space. For example, if a procedure’s properties bind ’tcl-calling-convention to "%x %y", then the name is appended and winds up like "__guile#234 %x %y". Finally, an asterix is prepended to the name (e.g. "*__guile#234 %x %y").

In the GNU modified version of Tcl/Tk, an asterix prepended to a command name has special meaning if the name is passed as a "-command" or similar configuration parameter to a widget, or if passed as the command argument to a "bind" operation. In that case, the command is renamed to a canonical name that is unique to the widget or binding sequence (overwriting any previous definition). If the widget or binding sequence is later deleted, so is the canonicalized command. This is an extremely twisted way to trick Tcl into managing anonymous Scheme procedures with acceptable semantics (e.g., without core leaks and without requiring Scheme programmers to invent liveness for anonymous procedures they’d otherwise drop).

6.11 Tk Facilities

So that Tk widgets can be used form Scheme, Guile provides the following functions:

Function: tk-init-main-window interpreter display name class

Initialize a Tcl interpreter as a Tk main window.

display, name, and class must all be strings.

Function: tk-do-one-event flags

Process one window system event.

Symbolic definitions for flags are provided in Gtk.scm and have the same name as their C counterparts.

Function: tk-main-loop: Process window events until no windows remain.

6.12 Gwish

Gwish is a Wish-like application of Guile, based on STk by Erick Gallesio.

6.12.1 Running Gwish

6.12.2 Mapping Tcl/Tk Constructs onto Gwish

In Gwish, there is a single Tcl/Tk interpreter which is an implicit default. Commands defined in that interpreter are automaticly defined as Scheme commands as well (unless a Scheme-specific binding overwrites them). This means that you can write Scheme code that closely matches the corresponding Tcl code. For example:

(button '.b)
(.b 'configure :text "hello world" :command (tcl-lambda () (beep)))

Arguments passed to a procedure implemented by a Tcl command must be converted to a string for the sake of Tcl’s calling conventions and data representations. This table illustrates how argument types are converted:

  ;;----------------------------------------
  ;; Argument             Converted argument
  ;;----------------------------------------
    123                     "123"
    123.34                  "123.34"
    "a-string"              "a-string"
    'a-symbol               "a-symbol"
    :keyword                "-keyword"
    #t                      "1"
    #f                      "0"
    (lambda (...) ...)      "*__guile#234"

Most of these conversions are simple and obvious but the conversion of procedure objects is subtle and non-obvious. It is not necessary to understand the details, though they are documented elsewhere. It is necessary to know that procedure arguments ‘do the right thing’ when they are passed as command parameters to widget configuration commands, and as event bindings. You might ask: what is the right thing?

A procedure passed as either an event binding or widget command is protected by the binding or widget involved. Effectively, the widget or binding keeps a reference to the procedure object. For this reason, it is possible to use an anonymous Scheme procedure as an event binding or widget command. For example:

(let ((n 0))
   (.b configure :command (lambda ()
                             (write n)
                             (newline)
                             (set! n + 1)
                             "")))

;; Incidently, note that the command procedure returns an empty string.
;; All procedures called by Tcl have to return a proper Tcl result.
;; Return values are explained further in the next subsection.
;;

When a command or binding is overwritten and that command or binding is to a Scheme procedure, the reference to the procedure is dropped. The procedure is also dropped if the binding or widget is deleted. For this reason, there are no core leaks associated with passing anonymous procedures as these kinds of arguments.

At this time, it isn’t generally useful to pass Scheme procedures to Tcl commands other than as an argument to a binding command or widget configuration command.

The details of how procedures are translated are described in the documentation for ‘tcl-apply-command’. See section Tcl Facilities.

6.12.3 Defining Tcl Command in Scheme

Gwish provides a convenient syntax for defining new Tcl commands.

Syntax: proc name formals . body

Define a new Tcl command and Scheme procedure simultaneously.

;; A two argument string-append callable as a Tcl command.
;;
(proc string-smash (s1 s2)  (string-append s1 s2))

Proc expands to a tcl-lambda form, which is explained below. The example above is equivalent to:

(begin
  (define string-smash (tcl-lambda (s1 s2) (string-append s1 s2)))
  (tcl-create-command the-interpreter 'string-smash string-smash))

Syntax: tcl-lambda (?calling-convention? ?.? formals) . body

Similar to lambda, but imposes Tcl-specific calling conventions. Type declarations are supported. This is best explained via examples.

A simple use of tcl-lambda:

;; By default, when called from Tcl, all of the arguments 
;; to a tcl-lambda are strings.
;;
(tcl-lambda (a b) (string-append a b))

The return value of a tcl-lambda has special signficance when the function is invoked by Tcl.

An integer return value is converted to a string. A string or symbol is used used directly as a Tcl result. A cons pair with an integer car and string cdr is a Tcl status/message combination.

Type declarations can be used to specify that parameters passed as strings should be coerced to some other type. For example:

(define tcl-plus 
   (tcl-lambda ((number a) (number b))
      (+ a b)))

(tcl-plus "23" 19)  => 42

Tcl-lambda is very useful for using anonymous Scheme functions as Tk event bindings. For this purpose, you can can specify a Tk "calling convention" by writing a string in the first of the argument specification. For example:

(.c 'bind 'node "<Button-2>"
    (tcl-lambda ("%x %y" (number x) (number y))
      (set! cur-x x)
      (set! cur-y y)
      #t))                    ; Tcl-compatible return value.

In that example, "%x %y" is the calling convention. The full command that Tcl calls when invoking the binding will be similar to:

__binding#0x123123 %x %y

and therefore the Scheme procedure will be passed (in this case) the x and y position of the mouse.

6.12.4 An Example: Ousterhout’s Graph Editor

This program implements the toy graph editor from the Tcl/Tk <fixme>.

6.13 System Calls

A volunteer is need to write this section. Most of the system call documentation already exists in other sections. See also See section I/O-Extensions, See section Posix Extensions.

All of the unix system calls are available as Scheme procedures.

Any call that fails with errno EINTR is automaticly retried.

By default, any other error during a system call will cause the call to signal an error and not return. There are two functions that control this behavior and which you can redefine. These are syscall and syserror. The default definitions are:

(define (syserror key fn err . args)
  (errno err)
  (apply error (cons fn args)))

(define (syscall thunk)
  (errno 0)
  (catch 'syserror thunk syserror))

A typical system call is written this way:

(define (connect port address . args)
  (syscall
   (lambda ()
     (let ((rv (apply %connect (cons port (cons address args)))))
       (if (eq? rv #f)
	   (throw 'syserror 'connect (errno) port address args))))))

6.14 Gscsh

Function: fork

Function: fork thunk

Fork a child process: returns child pid to parent, #f to child.

With an argument, fork a child process executing the Scheme procedure thunk. Returns child pid to parent.

Function: wait

Function: wait pid

Function: wait pid options

Wait for any child to terminate.

Pid argument means for that child process to terminate. Special values for pid are: -1 wait for any child process; 0 wait for any child process in the process group of the calling process.

Options is an integer with the following OR’d values:

WNOHANG: do not wait.
WUNTRACED: also return status information from stopped processes.

Function: exec-pipe pipe

Function: fg-pipe pipe

Function: bg-pipe pipe

These functions run external programs in a pipeline. exec-pipe causes the pipeline to overlay the current process. fg-pipe waits for the first command in the pipeline to exit and returns its exit status code. bg-pipe runs the pipeline in the background, returning a list with the process id of the first program and ports which can be used for communicating with the programs in the pipeline.

The pipe argument consists of a series of commands and optionally connection lists. A command can be either an external Unix program or a scheme procedure. An external program is written as a list of strings with the name and arguments. An example of a pipeline connecting three programs and using the default connection lists is:

(exec-pipe
  '("cat" "/etc/passwd") '("sort" "-t:" "+2") '("grep" "^u"))

Alternatively a Scheme procedure (taking no arguments) may be specified and will be run in its own subprocess. The standard ports (current-input-port, current-output-port and current-error-port) are created automatically from file descriptors 0, 1 and 2. A Scheme procedure used in a pipeline would typically be a filter, such as:

(define filter
  (lambda ()
    (let loop ((ch (read-char)))
      (cond ((not (eof-object? ch))
	     (display ch)
	     (loop (read-char)))))))

and the term in the pipeline would be written:

`(,filter)

A connection list specifies how open Scheme ports are connected to Unix file descriptors in the programs in the pipeline and how file descriptors are wired together between programs. For example, the default connection list between the sort and grep commands in the pipeline above is:

`((1 0) (2 ,(current-error-port)))

which says to connect file descriptor 1 (standard output) from the sort command to file descriptor 0 (standard input) in the grep command and to connect file descriptor 2 (standard error) from the sort command to the Scheme current error port.

Connection lists may be placed between programs in the pipeline and if omitted the default above will be used. Connection lists may also be placed before the first program and after the last to specify connections at the beginning and end of the pipeline. The default connection list then depends on which pipeline function is used.

The defaults for exec-pipe and fg-pipe are:

`((,(current-input-port) 0))
`((1 ,(current-output-port)) (2 ,(current-error-port)))

for the input and output ends of the pipeline respectively.

The defaults for bg-pipe are:

'((return-port 0))
`((1 return-port) (2 ,(current-error-port)))

The symbol ’return-port in the connection list adds a port to the list returned by bg-pipe. In the default case two ports are returned: the first is an output port connected to the standard input of the first program in the pipeline and the second is an input port connected to the standard output of the last process. [need to beware of deadlocks if multiple output ports are returned].

The pipeline example above can be rewritten with all the connection lists given explicitly:

(exec-pipe `((,(current-input-port) 0))
  '("cat" "/etc/passwd") `((1 0) (2 ,(current-error-port)))
  '("sort" "-t:" "+2")   `((1 0) (2 ,(current-error-port)))
  '("grep" "^u") `((1 ,(current-output-port)) (2 ,(current-error-port)))

Multiple file descriptors can be connected to a single target if a connection list such as ’((1 0) (2 0)) or equivalently ’((1 2 0)) is specified.

A final construction which can be used in a connection list is a string to be interpreted as the name of a file. For example, the connection list between the sort and grep commands could be written:

'((1 0) (2 "sort-errors"))

which would capture the standard error from sort to a newly created file. [Maybe this should be extended to allow appending to a file, e.g., with ">sort-error-log", although it could also be done with ports].

7 Internals

7.1 Data Types

In the descriptions below it is assumed that long ints are 32 bits in length. Acutally, SCM is written to work with any long int size larger than 31 bits. With some modification, SCM could work with word sizes as small as 24 bits.

All SCM objects are represented by type SCM. Type SCM come in 2 basic flavors, Immediates and Cells:

7.1.1 Immediates

An immediate is a data type contained in type SCM (long int). The type codes distinguishing immediate types from each other vary in length, but reside in the low order bits.

Macro: IMP x
Macro: NIMP x: Return non-zero if the SCM object x is an immediate or non-immediate type, respectively.

Immediate: inum

immediate 30 bit signed integer. An INUM is flagged by a 1 in the second to low order bit position. The high order 30 bits are used for the integer’s value.

Macro: INUMP x
Macro: NINUMP x: Return non-zero if the SCM x is an immediate integer or not an immediate integer, respectively.

Macro: INUM x: Returns the C long integer corresponding to SCM x.

Macro: MAKINUM x: Returns the SCM inum corresponding to C long integer x.

Immediate Constant: INUM0: is equivalent to MAKINUM(0).

Computations on INUMs are performed by converting the arguments to C integers (by a shift), operating on the integers, and converting the result to an inum. The result is checked for overflow by converting back to integer and checking the reverse operation.

The shifts used for conversion need to be signed shifts. If the C implementation does not support signed right shift this fact is detected in a #if statement in ‘scmfig.h’ and a signed right shift, SRS, is constructed in terms of unsigned right shift.

Immediate: ichr

characters.

Macro: ICHRP x: Return non-zero if the SCM object x is a character.

Macro: ICHR x: Returns corresponding unsigned char.

Macro: MAKICHR x: Given char x, returns SCM character.

Immediate: iflags

These are frequently used immediate constants.

Immediate Constant: SCM BOOL_T: #t

Immediate Constant: SCM BOOL_F: #f

Immediate Constant: SCM EOL: (). If SICP is #defined, EOL is #defined to be identical with BOOL_F. In this case, both print as #f.

Immediate Constant: SCM EOF_VAL: end of file token, #<eof>.

Immediate Constant: SCM UNDEFINED: #<undefined> used for variables which have not been defined and absent optional arguments.

Immediate Constant: SCM UNSPECIFIED: #<unspecified> is returned for those procedures whose return values are not specified.

Macro: IFLAGP n: Returns non-zero if n is an ispcsym, isym or iflag.

Macro: ISYMP n: Returns non-zero if n is an ispcsym or isym.

Macro: ISYMNUM n: Given ispcsym, isym, or iflag n, returns its index in the C array isymnames[].

Macro: ISYMCHARS n: Given ispcsym, isym, or iflag n, returns its char * representation (from isymnames[]).

Macro: MAKSPCSYM n: Returns SCM ispcsym n.

Macro: MAKISYM n: Returns SCM iisym n.

Macro: MAKIFLAG n: Returns SCM iflag n.

Variable: isymnames: An array of strings containing the external representations of all the ispcsym, isym, and iflag immediates. Defined in ‘repl.c’.

Constant: NUM_ISPCSYM
Constant: NUM_ISYMS: The number of ispcsyms and ispcsyms+isyms, respectively. Defined in ‘scm.h’.

Immediate: isym: and, begin, case, cond, define, do, if, lambda, let, let*, letrec, or, quote, set!, #f, #t, #<undefined>, #<eof>, (), and #<unspecified>.
CAR Immediate: ispcsym: special symbols: syntax-checked versions of first 14 isyms

CAR Immediate: iloc: indexes to a variable’s location in environment

CAR Immediate: gloc: pointer to a symbol’s value cell

Immediate: CELLPTR

pointer to a cell (not really an immediate type, but here for completeness). Since cells are always 8 byte aligned, a pointer to a cell has the low order 3 bits 0.

There is one exception to this rule, CAR Immediates, described next.

A CAR Immediate is an Immediate point which can only occur in the CARs of evaluated code (as a result of ceval’s memoization process).

7.1.2 Cells

Cells represent all SCM objects other than immediates. A cell has a CAR and a CDR. Low-order bits in CAR identify the type of object. The rest of CAR and CDR hold object data. The number after tc specifies how many bits are in the type code. For instance, tc7 indicates that the type code is 7 bits.

Macro: NEWCELL x

Allocates a new cell and stores a pointer to it in SCM local variable x.

Care needs to be taken that stores into the new cell pointed to by x do not create an inconsistent object. See section Signals.

All of the C macros decribed in this section assume that their argument is of type SCM and points to a cell (CELLPTR).

Macro: CAR x
Macro: CDR x: Returns the car and cdr of cell x, respectively.

Macro: TYP3 x
Macro: TYP7 x
Macro: TYP16 x: Returns the 3, 7, and 16 bit type code of a cell.

Cell: tc3_cons

scheme cons-cell returned by (cons arg1 arg2).

Macro: CONSP x
Macro: NCONSP x: Returns non-zero if x is a tc3_cons or isn’t, respectively.

Cell: tc3_closure

applicable object returned by (lambda (args) …). tc3_closures have a pointer to other the body of the procedure in the CAR and a pointer to the environment in the CDR.

Macro: CLOSUREP x: Returns non-zero if x is a tc3_closure.

Macro: CODE x
Macro: ENV x: Returns the code body or environment of closure x, respectively.

Headers are Cells whose CDRs point elsewhere in memory, such as to memory allocated by malloc.

Header: spare: spare tc7 type code

Header: tc7_vector

scheme vector.

Macro: VECTORP x
Macro: NVECTORP x: Returns non-zero if x is a tc7_vector or if not, respectively.

Macro: VELTS x
Macro: LENGTH x: Returns the C array of SCMs holding the elements of vector x or its length, respectively.

Header: tc7_ssymbol

static scheme symbol (part of initial system)

Header: tc7_msymbol

malloced scheme symbol (can be GCed)

Macro: SYMBOLP x: Returns non-zero if x is a tc7_ssymbol or tc7_msymbol.

Macro: CHARS x
Macro: UCHARS x
Macro: LENGTH x: Returns the C array of chars or as unsigned chars holding the elements of symbol x or its length, respectively.

Header: tc7_string

scheme string

Macro: STRINGP x
Macro: NSTRINGP x: Returns non-zero if x is a tc7_string or isn’t, respectively.

Macro: CHARS x
Macro: UCHARS x
Macro: LENGTH x: Returns the C array of chars or as unsigned chars holding the elements of string x or its length, respectively.

Header: tc7_bvect: uniform vector of booleans (bit-vector)

Header: tc7_ivect: uniform vector of integers

Header: tc7_uvect: uniform vector of non-negative integers

Header: tc7_fvect: uniform vector of short inexact real numbers

Header: tc7_dvect: uniform vector of double precision inexact real numbers

Header: tc7_cvect: uniform vector of double precision inexact complex numbers

Header: tc7_contin: applicable object produced by call-with-current-continuation

Header: tc7_cclo

Subr and environment for compiled closure

A cclo is similar to a vector (and is GCed like one), but can be applied as a function:

the cclo itself is consed onto the head of the argument list
the first element of the cclo is applied to that list. Cclo invocation is currently not tail recursive when given 2 or more arguments.

Function: makcclo proc len: makes a closure from the subr proc with len-1 extra locations for SCM data. Elements of a cclo are referenced using VELTS(cclo)[n] just as for vectors.

A Subr is a header whose CDR points to a C code procedure. Scheme primitive procedures are subrs. Except for the arithmetic tc7_cxrs, the C code procedures will be passed arguments (and return results) of type SCM.

Subr: tc7_asubr: associative C function of 2 arguments. Examples are +, -, *, /, max, and min.

Subr: tc7_subr_0: C function of no arguments.

Subr: tc7_subr_1: C function of one argument.

Subr: tc7_cxr

These subrs are handled specially. If inexact numbers are enabled, the CDR should be a function which takes and returns type double. Conversions are handled in the interpreter.

floor, ceiling, truncate, round, $sqrt, $abs, $exp, $log, $sin, $cos, $tan, $asin, $acos, $atan, $sinh, $cosh, $tanh, $asinh, $acosh, $atanh, and exact->inexact are defined this way.

If the CDR is 0 (NULL), the name string of the procedure is used to control traversal of its list structure argument.

car, cdr, caar, cadr, cdar, cddr, caaar, caadr, cadar, caddr, cdaar, cdadr, cddar, cdddr, caaaar, caaadr, caadar, caaddr, cadaar, cadadr, caddar, cadddr, cdaaar, cdaadr, cdadar, cdaddr, cddaar, cddadr, cdddar, and cddddr are defined this way.

Subr: tc7_subr_3: C function of 3 arguments.

Subr: tc7_subr_2: C function of 2 arguments.

Subr: tc7_rpsubr: transitive relational predicate C function of 2 arguments. The C function should return either BOOL_T or BOOL_F.

Subr: tc7_subr_1o: C function of one optional argument. If the optional argument is not present, UNDEFINED is passed in its place.

Subr: tc7_subr_2o: C function of 1 required and 1 optional argument. If the optional argument is not present, UNDEFINED is passed in its place.

Subr: tc7_lsubr_2: C function of 2 arguments and a list of (rest of) SCM arguments.

Subr: tc7_lsubr: C function of list of SCM arguments.

A ptob is a port object, capable of delivering or accepting characters. See Ports in Revised(4) Report on the Algorithmic Language Scheme. Unlike the types described so far, new varieties of ptobs can be defined dynamically (see section Defining Ptobs). These are the initial ptobs:

ptob: tc16_inport: input port.

ptob: tc16_outport: output port.

ptob: tc16_ioport: input-output port.

ptob: tc16_inpipe: input pipe created by popen().

ptob: tc16_outpipe: output pipe created by popen().

ptob: tc16_strport: String port created by cwos() or cwis().

ptob: tc16_sfport: Software (virtual) port created by mksfpt() (see section Soft Ports).

Macro: PORTP x
Macro: OPPORTP x
Macro: OPINPORTP x
Macro: OPOUTPORTP x
Macro: INPORTP x
Macro: OUTPORTP x: Returns non-zero if x is a port, open port, open input-port, open output-port, input-port, or output-port, respectively.

Macro: OPENP x
Macro: CLOSEDP x: Returns non-zero if port x is open or closed, respectively.

Macro: STREAM x: Returns the FILE * stream for port x.

Ports which are particularly well behaved are called fports. Advanced operations like file-position and reopen-file only work for fports.

Macro: FPORTP x
Macro: OPFPORTP x
Macro: OPINFPORTP x
Macro: OPOUTFPORTP x: Returns non-zero if x is a port, open port, open input-port, or open output-port, respectively.

A smob is a miscellaneous datatype. The type code and GCMARK bit occupy the lower order 16 bits of the CAR half of the cell. The rest of the CAR can be used for sub-type or other information. The CDR contains data of size long and is often a pointer to allocated memory.

Like ptobs, new varieties of smobs can be defined dynamically (see section Defining Smobs). These are the initial smobs:

smob: tc_free_cell: unused cell on the freelist.

smob: tc16_flo

single-precision float.

Inexact number data types are subtypes of type tc16_flo. If the sub-type is:

a single precision float is contained in the CDR.
CDR is a pointer to a malloced double.

CDR is a pointer to a malloced pair of doubles.

smob: tc_dblr: double-precision float.

smob: tc_dblc: double-precision complex.

smob: tc16_bigpos

smob: tc16_bigneg

positive and negative bignums, respectively.

Scm has large precision integers called bignums. They are stored in sign-magnitude form with the sign occuring in the type code of the SMOBs bigpos and bigneg. The magnitude is stored as a malloced array of type BIGDIG which must be an unsigned integral type with size smaller than long. BIGRAD is the radix associated with BIGDIG.

smob: tc16_promise: made by DELAY. See Control features in Revised(4) Scheme.

smob: tc16_arbiter: synchronization object. See section Process Synchronization.

smob: tc16_macro: macro expanding function. See section Low Level Syntactic Hooks.

smob: tc16_array

multi-dimensional array. See section Arrays.

This type implements both conventional arrays (those with arbitrary data as elements see section Conventional Arrays) and uniform arrays (those with elements of a uniform type see section Uniform Array).

Conventional Arrays have a pointer to a vector for their CDR. Uniform Arrays have a pointer to a Uniform Vector type (string, bvect, ivect, uvect, fvect, dvect, or cvect) in their CDR.

7.1.3 Data Type Representations

IMMEDIATE:      B,D,E,F=data bit, C=flag code, P=pointer address bit
        ................................
inum    BBBBBBBBBBBBBBBBBBBBBBBBBBBBBB10
ichr    BBBBBBBBBBBBBBBBBBBBBBBB11110100
iflag                   CCCCCCC101110100
isym                    CCCCCCC001110100
        IMCAR:  only in car of evaluated code, cdr has cell’s GC bit
ispcsym                 000CCCC00CCCC100
iloc    0DDDDDDDDDDDDDDDEFFFFFFF11111100
pointer PPPPPPPPPPPPPPPPPPPPPPPPPPPPP000
gloc    PPPPPPPPPPPPPPPPPPPPPPPPPPPPP001

   HEAP CELL:   G=gc_mark; 1 during mark, 0 other times.
        1s and 0s here indicate type.     G missing means sys (not GC’d)
        SIMPLE:
cons    ..........SCM car..............0  ...........SCM cdr.............G
closure ..........SCM code...........011  ...........SCM env.............G
        HEADERs:
ssymbol .........long length....G0000101  ..........char *chars...........
msymbol .........long length....G0000111  ..........char *chars...........
string  .........long length....G0001101  ..........char *chars...........
vector  .........long length....G0001111  ...........SCM **elts...........
bvect   .........long length....G0010101  ..........long *words...........
 spare                          G0010111
ivect   .........long length....G0011101  ..........long *words...........
uvect   .........long length....G0011111  ......unsigned long *words......
 spare                          G0100101
 spare                          G0100111
fvect   .........long length....G0101101  .........float *words...........
dvect   .........long length....G0101111  ........double *words...........
cvect   .........long length....G0110101  ........double *words...........

contin  .........long length....G0111101  .............*regs..............
cclo    .........long length....G0111111  ...........SCM **elts...........
        SUBRs:
 spare                          010001x1
 spare                          010011x1
subr_0  ..........int hpoff.....01010101  ...........SCM (*f)()...........
subr_1  ..........int hpoff.....01010111  ...........SCM (*f)()...........
cxr     ..........int hpoff.....01011101  .........double (*f)()..........
subr_3  ..........int hpoff.....01011111  ...........SCM (*f)()...........
subr_2  ..........int hpoff.....01100101  ...........SCM (*f)()...........
asubr   ..........int hpoff.....01100111  ...........SCM (*f)()...........
subr_1o ..........int hpoff.....01101101  ...........SCM (*f)()...........
subr_2o ..........int hpoff.....01101111  ...........SCM (*f)()...........
lsubr_2 ..........int hpoff.....01110101  ...........SCM (*f)()...........
lsubr_2n..........int hpoff.....01110111  ...........SCM (*f)()...........
rpsubr  ..........int hpoff.....01111101  ...........SCM (*f)()...........
                        PTOBs:
   port            0bwroxxxxxxxxG1110111  ..........FILE *stream..........
 socket ttttttt    00001xxxxxxxxG1110111  ..........FILE *stream..........
 inport uuuuuuuuuuU00011xxxxxxxxG1110111  ..........FILE *stream..........
outport 0000000000000101xxxxxxxxG1110111  ..........FILE *stream..........
 ioport uuuuuuuuuuU00111xxxxxxxxG1110111  ..........FILE *stream..........
fport              00   00000000G1110111  ..........FILE *stream..........
pipe               00   00000001G1110111  ..........FILE *stream..........
strport            00   00000010G1110111  ..........FILE *stream..........
sfport             00   00000011G1110111  ..........FILE *stream..........
                        SMOBs:
free_cell
        000000000000000000000000G1111111  ...........*free_cell........000
flo     000000000000000000000001G1111111  ...........float num............
dblr    000000000000000100000001G1111111  ..........double *real..........
dblc    000000000000001100000001G1111111  .........complex *cmpx..........
bignum  ...int length...0000001 G1111111  .........short *digits..........
bigpos  ...int length...00000010G1111111  .........short *digits..........
bigneg  ...int length...00000011G1111111  .........short *digits..........
                        xxxxxxxx = code assigned by newsmob();
promise 000000000000000fxxxxxxxxG1111111  ...........SCM val..............
arbiter 000000000000000lxxxxxxxxG1111111  ...........SCM name.............
macro   000000000000000mxxxxxxxxG1111111  ...........SCM name.............
array   ...short rank..cxxxxxxxxG1111111  ............*array..............

7.2 Operations

7.2.1 Garbage Collection

The garbage collector is in the latter half of ‘sys.c’. Immediates always appear as parts of other objects, so they are not subject to explicit garbage collection. There is a heap (composed of heap segments) in which all cells reside. The storage for strings, vectors, continuations, doubles, complexes, and bignums is managed by malloc. There is only one pointer to each malloc object from its type-header cell in the heap. This allows malloc objects to be freed when the associated heap object is garbage collected.

To garbage collect, first certain protected objects are marked (such as symhash). Then the stack (and marked continuations) are traversed. Each longword in the stack is tried to see if it is a valid cell pointer into the heap. If it is, the object itself and any objects it points to are marked. If the stack is word rather than longword aligned (#define WORD_ALIGN), both alignments are tried. This arrangement will occasionally mark an object which is no longer used. This has not been a problem in practice and the advantage of using the c-stack far outweighs it.

The heap is then swept. If a type-header cell pointing to malloc space is collected the malloc object is then freed. If the type header of smob is collected, the smob’s free procedure is called to free its storage.

7.2.2 Signals

Function: init_signals: (in ‘scm.c’) initializes handlers for SIGINT and SIGALRM if they are supported by the C implementation. All of the signal handlers immediately reestablish themselves by a call to signal().

Function: int_signal sig
Function: alrm_signal sig: The low level handlers for SIGINT and SIGALRM.

If an interrupt handler is defined when the interrupt is received, the code is interpreted. If the code returns, execution resumes from where the interrupt happened. Call-with-current-continuation allows the stack to be saved and restored.

SCM does not use any signal masking system calls. These are not a portable feature. However, code can run uninterrupted by use of the C macros DEFER_INTS and ALLOW_INTS.

Macro: DEFER_INTS

sets the global variable ints_disabled to 1. If an interrupt occurs during a time when ints_disabled is 1 one of the global variables sig_deferred or alrm_deferred is set to 1 and the handler returns.

Macro: ALLOW_INTS

Checks the deferred variables and if set the appropriate handler is called.

Calls to DEFER_INTS can not be nested. An ALLOW_INTS must happen before another DEFER_INTS can be done. In order to check that this constraint is satisfied #define CAREFUL_INTS in ‘scmfig.h’.

7.2.3 C Macros

Macro: ASSERT cond arg pos subr

signals an error if the expression (cond) is 0. arg is the offending object, subr is the string naming the subr, and pos indicates the position or type of error. pos can be one of

ARGn (> 5 or unknown ARG number)
ARG1
ARG2
ARG3
ARG4
ARG5
WNA (wrong number of args)
OVFLOW
OUTOFRANGE
NALLOC
EXIT
HUP_SIGNAL
INT_SIGNAL
FPE_SIGNAL
BUS_SIGNAL
SEGV_SIGNAL
ALRM_SIGNAL
a C string (char *)

Error checking is not done by ASSERT if the flag RECKLESS is defined. An error condition can still be signaled in this case with a call to wta(arg, pos, subr).

Macro: ASRTGO cond label: goto label if the expression (cond) is 0. Like ASSERT, ASRTGO does is not active if the flag RECKLESS is defined.

7.2.4 Changing Scm

When writing C-code for SCM, a precaution is recommended. If your routine allocates a non-cons cell which will not be incorporated into a SCM object which is returned, you need to make sure that a SCM variable in your routine points to that cell as long as part of it might be referenced by your code.

In order to make sure this SCM variable does not get optimized out you can put this assignment after its last possible use:

SCM_dummy1 = foo;

or put this assignment somewhere in your routine:

SCM_dummy1 = (SCM) &foo;

SCM_dummy variables are not currently defined. Passing the address of the local SCM variable to any procedure also protects it.

Also, if you maintain a static pointer to some (non-immediate) SCM object, you must either make your pointer be the value cell of a symbol (see errobj for an example) or make your pointer be one of the sys_protects (see symhash for an example). The former method is prefered since it does not require any changes to the SCM distribution.

To add a C routine to scm:

choose the appropriate subr type from the type list.
write the code and put into ‘scm.c’.
add a make_subr or make_gsubr call to init_scm. Or put an entry into the appropriate iproc structure.

To add a package of new procedures to scm (see ‘crs.c’ for example):

create a new C file (‘foo.c’).
at the front of ‘foo.c’ put declarations for strings for your procedure names.
```
static char s_twiddle_bits[]="twiddle-bits!";
static char s_bitsp[]="bits?";
```
choose the appropriate subr types from the type list in ‘code.doc’.
write the code for the procedures and put into ‘foo.c’

create one iproc structure for each subr type used in ‘foo.c’

static iproc subr3s[]= {
        {s_twiddle-bits,twiddle-bits},
        {s_bitsp,bitsp},
        {0,0} };

create an init_<name of file> routine at the end of the file which calls init_iprocs with the correct type for each of the iprocs created in step 5.
```
void init_foo()
{
  init_iprocs(subr1s, tc7_subr_1);
  init_iprocs(subr3s, tc7_subr_3);
}
```
If your package needs to have a finalization routine called to free up storage, close files, etc, then also have a line in init_foo like:
```
add_final(final_foo);
```
final_foo should be a (void) procedure of no arguments. The finals will be called in opposite order from their definition.

The line:
```
add_feature("foo");
```
will append a symbol 'foo to the (list) value of *features*.
put any scheme code which needs to be run as part of your package into ‘Ifoo.scm’.
put an if into ‘Init.scm’ which loads ‘Ifoo.scm’ if your package is included:
```
(if (defined? twiddle-bits!)
    (load (in-vicinity (implementation-vicinity)
                       "Ifoo"
                       (scheme-file-suffix))))
```
or use (provided? 'foo) instead of (defined? twiddle-bits!) if you have added the feature.
put documentation of the new procedures into ‘foo.doc’
add lines to your ‘Makefile’ to compile and link SCM with your object file. Add a init_foo\; to the INITS=… line at the beginning of the makefile.

These steps should allow your package to be linked into SCM with a minimum of difficulty. Your package should also work with dynamic linking if your SCM has this capability.

Special forms (new syntax) can be added to scm.

define a new MAKISYM in ‘scm.h’ and increment NUM_ISYMS.
add a string with the new name in the corresponding place in isymnames in ‘repl.c’.
add case: clause to ceval() near i_quasiquote (in ‘eval.c’).

New syntax can now be added without recompiling SCM by the use of the procedure->syntax, procedure->macro, procedure->memoizing-macro, and defmacro. For details, See section Syntax Extensions.

7.2.5 Defining Subrs

If CCLO is #defined when compiling, the compiled closure feature will be enabled. It is automatically enabled if dynamic linking is enabled.

The SCM interpreter directly recognizes subrs taking small numbers of arguments. In order to create subrs taking larger numbers of arguments use:

Function: make_gsubr name req opt rest fcn

returns a cclo (compiled closure) object of name char * name which takes int req required arguments, int opt optional arguments, and a list of rest arguments if int rest is 1 (0 for not).

SCM (*fcn)() is a pointer to a C function to do the work.

The C function will always be called with req + opt + rest arguments, optional arguments not supplied will be passed UNDEFINED. An error will be signaled if the subr is called with too many or too few arguments. Currently a total of 10 arguments may be specified, but increasing this limit should not be difficult.

/* A silly example, taking 2 required args,
   1 optional, and a list of rest args */

SCM gsubr_21l(req1,req2,opt,rst)
     SCM req1,req2,opt,rst;
{
  lputs("gsubr-2-1-l:\n req1: ", cur_outp);
  display(req1,cur_outp);
  lputs("\n req2: ", cur_outp);
  display(req2,cur_outp);
  lputs("\n opt: ", cur_outp);
  display(opt,cur_outp);
  lputs("\n rest: ", cur_outp);
  display(rst,cur_outp);
  newline(cur_outp);
  return UNSPECIFIED;
}

void init_gsubr211()
{
  make_gsubr("gsubr-2-1-l", 2, 1, 1, gsubr_21l);
}

7.2.6 Defining Smobs

Here is an example of how to add a new type named foo to SCM. The following lines need to be added to your code:

long tc16_foo;

The type code which will be used to identify the new type.

static smobfuns foosmob = {markfoo,freefoo,printfoo,equalpfoo};

smobfuns is a structure composed of 4 functions:

typedef struct {
  SCM   (*mark)P((SCM));
  sizet (*free)P((CELLPTR));
  int   (*print)P((SCM exp, SCM port, int writing));
  SCM   (*equalp)P((SCM, SCM));
} smobfuns;

smob.mark

is a function of one argument of type SCM (the cell to mark) and returns type SCM which will then be marked. If no further objects need to be marked then return an immediate object such as BOOL_F. 2 functions are provided:

markcdr(ptr): which marks the current cell and returns CDR(ptr).
mark0(ptr): which marks the current cell and returns BOOL_F.

smob.free

is a function of one argument of type CELLPTR (the cell to collected) and returns type sizet which is the number of malloced bytes which were freed. Smob.free should free any malloced storage associated with this object. The function free0(ptr) is provided which does not free any storage and returns 0.

smob.print

is 0 or a function of 3 arguments. The first, of type SCM, is the smob object. The second, of type SCM, is the stream on which to write the result. The third, of type int, is 1 if the object should be writen, 0 if it should be displayed. This function should return non-zero if it printed, and zero otherwise (in which case a hexadecimal number will be printed).

smob.equalp

is 0 or a function of 2 SCM arguments. Both of these arguments will be of type tc16foo. This function should return BOOL_T if the smobs are equal, BOOL_F if they are not. If smob.equalp is 0, equal? will return BOOL_F if they are not eq?.

tc16_foo = newsmob(&foosmob);

Allocates the new type with the functions from foosmob. This line goes in an init_ routine.

Promises and macros in ‘eval.c’ and arbiters in ‘repl.c’ provide examples of SMOBs. There are a maximum of 256 SMOBs.

7.2.7 Defining Ptobs

ptobs are similar to smobs but define new types of port to which SCM procedures can read or write. The following functions are defined in the ptobfuns:

typedef struct {
  SCM   (*mark)P((SCM ptr));
  int   (*free)P((FILE *p));
  int   (*print)P((SCM exp, SCM port, int writing));
  SCM   (*equalp)P((SCM, SCM));
  int   (*fputc)P((int c, FILE *p));
  int   (*fputs)P((char *s, FILE *p));
  sizet (*fwrite)P((char *s, sizet siz, sizet num, FILE *p));
  int   (*fflush)P((FILE *stream));
  int   (*fgetc)P((FILE *p));
  int   (*fclose)P((FILE *p));
} ptobfuns;

The .free component to the structure takes a FILE * or other C construct as its argument, unlike .free in a smob, which takes the whole smob cell. Often, .free and .fclose can be the same function. See fptob and pipob in ‘sys.c’ for examples of how to define ptobs.

7.2.8 Calling Scheme From C

To use SCM as a whole from another program call init_scm or run_scm as is done in main() in ‘scm.c’.

In order to call indivdual Scheme procedures from C code more is required; SCM’s storage system needs to be initialized. The simplest way to do this for a statically linked single-thread program is to:

make a SCM procedure which calls your code’s startup routine.
use the #define RTL flag when compiling ‘scm.c’ to elide SCM’s main().
In your main(), call run_scm with arguments (argc and argv) to invoke your code’s startup routine.
link your code with SCM at compile time.

For a dynamically linked single-thread program:

make an init_ procedure for your code which will set up any Scheme definitions you need and then call your startup routine (see section Changing Scm).
Start SCM with command line arguments to dynamically link your code. After your module is linked, the init_ procedure will be called, and hence your startup routine.

Now use apply (and perhaps intern) to call Scheme procedures from your C code. For example:

/* If this apply fails, SCM will catch the error */
apply(CDR(intern("srv:startup",sizeof("srv:startup")-1)),
      mksproc(srvproc),
      listofnull);

func = CDR(intern(rpcname,strlen(rpcname)));
retval = apply(func, cons(mksproc(srvproc), args), EOL);

SCM now has routines to make calling back to Scheme procedures easier:

Function: int scm_ldfile (char *file): Loads the Scheme source file file. Returns 0 if successful, non-0 if not. This function is used to load SCM’s initialization file ‘Init.scm’.

Function: int scm_ldprog (char *file)

Loads the Scheme source file (in-vicinity (program-vicinity) file). Returns 0 if successful, non-0 if not.

This function is useful for compiled code init_ functions to load non-compiled Scheme (source) files. program-vicinity is the directory from which the calling code was loaded (see Vicinity in SLIB).

Function: SCM scm_evstr (char *str): Returns the result of reading an expression from str and evaluating it.

Function: void scm_ldstr (char *str): Reads and evaluates all the expressions from str.

If you wish to catch errors during execution of Scheme code, then you can use a wrapper like this for your Scheme procedures:

(define (srv:protect proc)
  (lambda args
    (define result #f)                  ; put default value here
    (call-with-current-continuation
     (lambda (cont)
       (dynamic-wind (lambda () #t)
                     (lambda ()
                       (set! result (apply proc args))
                       (set! cont #f))
                     (lambda ()
                       (if cont (cont #f))))))
    result))

Calls to procedures so wrapped will return even if an error occurs.

7.2.9 Continuations

The scm procedure call-with-current-continuation calls it’s argument with an object of type contin.

If CHEAP_CONTINUATIONS is #defined (in ‘scmfig.h’) the contin just contains a jmp_buf. When the contin is applied, a longjmp of the jmp_buf is done.

If CHEAP_CONTINUATIONS is not #defined the contin contains the jmp_buf and a copy of the C stack between the call_cc stack frame and BASE(rootcont). When the contin is applied:

the stack is grown larger than the saved stack, if neccessary.
the saved stack is copied back into it’s original position.
longjmp of the jmp_buf is called.

On systems with nonlinear stack disciplines (multiple stacks or non-contiguous stack frames) copying the stack will not work properly. These systems need to #define CHEAP_CONTINUATIONS in ‘scmfig.h’.

7.2.10 Evaluation

Variable: symhash: Top level symbol values are stored in the symhash table. symhash is an array of lists of ISYMs and pairs of symbols and values.

Immediate: ILOC: Whenever a symbol’s value is found in the local environment the pointer to the symbol in the code is replaced with an immediate object (ILOC) which specifies how many environment frames down and how far in to go for the value. When this immediate object is subsequently encountered, the value can be retrieved quickly.

Immediate: GLOC: Pointers to symbols not defined in local environments are changed to one plus the value cell address in symhash. This incremented pointer is called a GLOC. The low order bit is normally reserved for GCmark; But, since references to variables in the code always occur in the CAR position and the GCmark is in the CDR, there is no conflict.

If the compile FLAG CAUTIOUS is #defined then the number of arguments is always checked for application of closures. If the compile FLAG RECKLESS is #defined then they are not checked. Otherwise, number of argument checks for closures are made only when the function position (whose value is the closure) of a combination is not an ILOC or GLOC. When the function position of a combination is a symbol it will be checked only the first time it is evaluated because it will then be replaced with an ILOC or GLOC.

Macro: EVAL expression env

Macro: SIDEVAL expression env

EVAL Returns the result of evaluating expression in env. SIDEVAL evaluates expression in env when the value of the expression is not used.

Both of these macros alter the list structure of expression as it is memoized and hence should be used only when it is known that expression will not be referenced again. The C function eval is safe from this problem.

Function: SCM eval (SCM expression): Returns the result of evaluating expression in the top-level environment. eval copies expression so that memoization does not modify expression.

7.3 Improvements To Make

Prefix and make more uniform all C function, variable, and constant names. Provide a file full of #define’s to provide backward compatability.
lgcd() needs to generate at most one bignum, but currently generates more.
divide() could use shifts instead of multiply and divide when scaling.
If an open fails because there are no unused file handles, GC should be done so that file handles which are no longer used can be collected.
If the symhash array is specially marked in garbage collection, msymbols with value UNDEFINED which have no pointers to them can be collected. In Maclisp this was called gctwa.
Compaction could be done to malloced objects by freeing and reallocing all the malloc objects encountered in a scan of the heap. Whether compactions would actually occur is system depenedent.
Copying all of the stack is wasteful of storage. Any time a call-with-current-continuation is called the stack could be re-rooted with a frame which calls the contin just created. This in combination with checking stack depth could also be used to allow stacks deeper than 64K on the IBM PC.
lookupcar in ‘eval.c’ should not memoize (to ILOCs) when it retrieves environments deeper or longer than 4095. The values can still be retrieved (albeit slowly), but an ILOC should not be made. The MEMOIZE_LOCALS flag could then be flushed.
The must- or make- routines need some sort of C macros or conditionalization so that they check:
- that the LENGTH field fits into a size_t (as is checked now) for platforms with (sizeof(size_t) < sizeof(SCM)).
- that the LENGTH field fits into 24 (or 56) bits on machines where size_t is 32 bits or more.
This is trickier than it first looks because the must_malloc() routine is also used for allocating heap segments, which do not have the LENGTH field restriction. Putting the 24 bit test into must_malloc() should be tested for speed impact.

7.4 Finishing Dynamic Linking

Scott Schwartz <schwartz@galapagos.cse.psu.edu> suggests: One way to tidy up the dynamic loading stuff would be to grab the code from perl5.

VMS

George Carrette (gjc@mitech.com) outlines how to dynamically link on VMS. There is already some code in ‘dynl.c’ to do this, but someone with a VMS system needs to finish and debug it.

Say you have this ‘main.c’ program:
```
main()
{init_lisp();
 lisp_repl();}
```
and you have your lisp in files ‘repl.c’, ‘gc.c’, eval.c and there are some toplevel non-static variables in use called the_heap, the_environment, and some read-only toplevel structures, such as the_subr_table.
```
$ LINK/SHARE=LISPRTL.EXE/DEBUG REPL.OBJ,GC.OBJ,EVAL.OBJ,LISPRTL.OPT/OPT
```
where ‘LISPRTL.OPT’ must contain at least this:
```
SYS$LIBRARY:VAXCRTL/SHARE
UNIVERSAL=init_lisp
UNIVERSAL=lisp_repl
PSECT_ATTR=the_subr_table,SHR,NOWRT,LCL
PSECT_ATTR=the_heap,NOSHR,LCL
PSECT_ATTR=the_environment,NOSHR,LCL
```
Notice: The psect (Program Section) attributes.

LCL

means to keep the name local to the shared library. You almost always want to do that for a good clean library.

SHR,NOWRT

means shared-read-only. Which is the default for code, and is also good for efficiency of some data structures.

NOSHR,LCL

is what you want for everything else.

Note: If you do not have a handy list of all these toplevel variables, do not dispair. Just do your link with the /MAP=LISPRTL.MAP/FULL and then search the map file,
```
$SEARCH/OUT=LISPRTL.LOSERS LISPRTL.MAP  ",  SHR,NOEXE,  RD,  WRT"
```
And use an emacs keyboard macro to muck the result into the proper form. Of course only the programmer can tell if things can be made read-only. I have a DCL command procedure to do this if you want it.
Now MAIN.EXE would be linked thusly:
```
$ DEFINE LISPRTL USER$DISK:[JAFFER]LISPRTL.EXE

$LINK MAIN.OBJ,SYS$INPUT:/OPT
 SYS$LIBRARY:VAXCRTL/SHARE
 LISPRTL/SHARE
```
Note the definition of the LISPRTL logical name. Without such a definition you will need to copy ‘LISPRTL.EXE’ over to ‘SYS$SHARE:’ (aka ‘SYS$LIBRARY:’) in order to invoke the main program once it is linked.
Now say you have a file of optional subrs, ‘MYSUBRS.C’. And there is a routine INIT_MYSUBRS that must be called before using it.
```
$ CC MYSUBRS.C
$ LINK/SHARE=MYSUBRS.EXE MYSUBRS.OBJ,SYS$INPUT:/OPT
  SYS$LIBRARY:VAXCRTL/SHARE
  LISPRTL/SHARE
  UNIVERSAL=INIT_MYSUBRS
```
Ok. Another hint is that you can avoid having to add the PSECT declaration of NOSHR,LCL by declaring variables status in the C language source. That works great for most things.
Then the dynamic loader would have to do this:
```
{void (*init_fcn)();
 long retval;
 retval = lib$find_image_symbol("MYSUBRS","INIT_MYSUBRS",&init_fcn,
                                "SYS$DISK:[].EXE");
 if (retval != SS$_NORMAL) error(…);
 (*init_fcn)();}
```
But of course all string arguments must be (struct dsc$descriptor *) and the last argument is optional if MYSUBRS is defined as a logical name or if ‘MYSUBRS.EXE’ has been copied over to ‘SYS$SHARE’. The other consideration is that you will want to turn off <C-c> or other interrupt handling while you are inside most lib$ calls.

As far as the generation of all the UNIVERSAL=… declarations. Well, you could do well to have that automatically generated from the public ‘LISPRTL.H’ file, of course.

VMS has a good manual called the Guide to Writing Modular Procedures or something like that, which covers this whole area rather well, and also talks about advanced techniques, such as a way to declare a program section with a pointer to a procedure that will be automatically invoked whenever any shared image is dynamically activated. Also, how to set up a handler for normal or abnormal program exit so that you can clean up side effects (such as opening a database). But for use with LISPRTL you probably don’t need that hair.

One fancier option that is useful under VMS for ‘LISPLIB.EXE’ is to define all your exported procedures through an call vector instead of having them just be pointers into random places in the image, which is what you get by using UNIVERSAL.

If you set up the call vector thing correctly it will allow you to modify and relink ‘LISPLIB.EXE’ without having to relink programs that have been linked against it.

Windows NT

George Carrette (gjc@mitech.com) outlines how to dynamically link on Windows NT:

The Software Developers Kit has a sample called SIMPLDLL. Here is the gist of it, following along the lines of the VMS description above (contents of a makefile for the SDK NMAKE)

LISPLIB.exp:
LISPLIB.lib: LISPLIB.def
    $(implib) -machine:$(CPU) -def:LISPLIB.def -out:LISPLIB.lib

LISPLIB.DLL : $(LISPLIB_OBJS) LISPLIB.EXP
    $(link) $(linkdebug)              \
    -dll                 \
    -out:LISPLIB.DLL     \
    LISPLIB.EXP $(LISPLIB_OBJS) $(conlibsdll)

The ‘LISPDEF.DEF’ file has this:

LIBRARY lisplib
EXPORT
 init_lisp
 init_repl

And ‘MAIN.EXE’ using:

CLINK = $(link) $(ldebug) $(conflags) -out:$*.exe $** $(conlibsdll)

MAIN.EXE : MAIN.OBJ LISPLIB.LIB
 $(CLINK)

And ‘MYSUBRS.DLL’ is produced using:

mysubrs.exp:
mysubrs.lib: mysubrs.def
    $(implib) -machine:$(CPU) -def:MYSUBRS.def -out:MYSUBRS.lib

mysubrs.dll : mysubrs.obj mysubrs.exp mysubrs.lib
    $(link) $(linkdebug) \
    -dll                 \
    -out:mysubrs.dll     \
    MYSUBRS.OBJ MYSUBRS.EXP LISPLIB.LIB $(conlibsdll)

Where ‘MYSUBRS.DEF’ has
```
LIBRARY mysubrs
EXPORT
 INIT_MYSUBRS
```

And the dynamic loader looks something like this, calling the two procedures LoadLibrary and GetProcAddress.

LISP share_image_load(LISP fname)
{long iflag;
 LISP retval,(*fcn)(void);
 HANDLE hLib;
 DWORD err;
 char *libname,fcnname[64];
 iflag = nointerrupt(1);
 libname = c_string(fname);
 _snprintf(fcnname,sizeof(fcnname),"INIT_%s",libname);
 if (!(hLib = LoadLibrary(libname)))
   {err = GetLastError();
    retval = list2(fname,LSPNUM(err));
    serror1("library failed to load",retval);}
 if (!(fcn = (LISP (*)(void)) GetProcAddress(hLib,fcnname)))
   {err = GetLastError();
    retval = list2(fname,LSPNUM(err));
    serror1("could not find library init procedure",retval);}
 retval = (*fcn)();
 nointerrupt(iflag);
 return(retval);}

Note: in VMS the linker and dynamic loader is case sensitive, but all the language compilers, including C, will by default upper-case external symbols for use by the linker, although the debugger gets its own symbols and case sensitivity is language mode dependant. In Windows NT things are case sensitive generally except for file and device names, which are case canonicalizing like in the Symbolics filesystem.
Also: All this WINDOWS NT stuff will work in MS-DOS MS-Windows 3.1 too, by a method of compiling and linking under Windows NT, and then copying various files over to MS-DOS/WINDOWS.

Procedure and Macro Index

This is an alphabetical list of all the procedures and macros in SCM.

Jump to:	# $ - @ _ A B C D E F G H I K L M N O P Q R S T U V W

	Index Entry	Section

#
	`#!`	4.10 Syntax Extensions
	`#'`	4.10 Syntax Extensions
	`#+`	4.10 Syntax Extensions
	`#-`	4.10 Syntax Extensions
	`#.`	4.10 Syntax Extensions
	`#\|`	4.10 Syntax Extensions

$
	`$abs`	5.2 Numeric
	`$acos`	5.2 Numeric
	`$acosh`	5.2 Numeric
	`$asin`	5.2 Numeric
	`$asinh`	5.2 Numeric
	`$atan`	5.2 Numeric
	`$atan2`	5.2 Numeric
	`$atanh`	5.2 Numeric
	`$cos`	5.2 Numeric
	`$cosh`	5.2 Numeric
	`$exp`	5.2 Numeric
	`$expt`	5.2 Numeric
	`$log`	5.2 Numeric
	`$sin`	5.2 Numeric
	`$sinh`	5.2 Numeric
	`$sqrt`	5.2 Numeric
	`$tan`	5.2 Numeric
	`$tanh`	5.2 Numeric

-
	`-`	2.5 Options
	`--`	2.5 Options
	`-a`	2.5 Options
	`-b`	2.5 Options
	`-c`	2.5 Options
	`-e`	2.5 Options
	`-f`	2.5 Options
	`-i`	2.5 Options
	`-l`	2.5 Options
	`-m`	2.5 Options
	`-no-init-file`	2.5 Options
	`-p`	2.5 Options
	`-q`	2.5 Options
	`-r`	2.5 Options
	`-s`	2.5 Options
	`-u`	2.5 Options
	`-v`	2.5 Options

@
	`@apply`	4.11 Low Level Syntactic Hooks
	`@call-with-current-continuation`	4.11 Low Level Syntactic Hooks

_
	`_ionbf`	4.8 Files and Ports

A
	`abort`	4.3 Internal State
	`access`	5.4 I/O-Extensions
	`acct`	5.6 Unix Extensions
	`acons`	4.4 Miscellaneous Procedures
	`acosh`	5.2 Numeric
	`alarm`	4.6 Interrupts
	`alarm-interrupt`	4.6 Interrupts
	`ALLOW_INTS`	7.2.2 Signals
	`alrm_signal`	7.2.2 Signals
	`arithmetic-error`	4.6 Interrupts
	`array->list`	5.3.1 Conventional Arrays
	`array-contents`	5.3.1 Conventional Arrays
	`array-contents`	5.3.1 Conventional Arrays
	`array-copy!`	5.3.1 Conventional Arrays
	`array-dimensions`	5.3.1 Conventional Arrays
	`array-equal?`	5.3.1 Conventional Arrays
	`array-fill!`	5.3.1 Conventional Arrays
	`array-for-each`	5.3.2 Array Mapping
	`array-in-bounds?`	5.3.1 Conventional Arrays
	`array-index-map!`	5.3.2 Array Mapping
	`array-map!`	5.3.2 Array Mapping
	`array-prototype`	5.3.3 Uniform Array
	`array-rank`	5.3.1 Conventional Arrays
	`array-ref`	5.3.1 Conventional Arrays
	`array-set!`	5.3.1 Conventional Arrays
	`array-shape`	5.3.1 Conventional Arrays
	`array?`	5.3.1 Conventional Arrays
	`array?`	5.3.3 Uniform Array
	`asinh`	5.2 Numeric
	`ASRTGO`	7.2.3 C Macros
	`ASSERT`	7.2.3 C Macros
	`atanh`	5.2 Numeric

B
	`bg-pipe`	6.14 Gscsh
	`bit-count`	5.3.4 Bit Vectors
	`bit-count*`	5.3.4 Bit Vectors
	`bit-invert!`	5.3.4 Bit Vectors
	`bit-position`	5.3.4 Bit Vectors
	`bit-set*!`	5.3.4 Bit Vectors
	`box`	5.9.6 Curses Miscellany
	`builtin-variable`	6.4 Variables

C
	`call-with-dynamic-root`	6.9 Dynamic Roots
	`CAR`	7.1.2 Cells
	`catch`	6.2 Exceptions
	`cbreak`	5.9.2 Terminal Mode Setting
	`CDR`	7.1.2 Cells
	`CHARS`	7.1.2 Cells
	`CHARS`	7.1.2 Cells
	`chdir`	5.4 I/O-Extensions
	`chmod`	5.4 I/O-Extensions
	`chown`	5.5 Posix Extensions
	`clearok`	5.9.1 Output Options Setting
	`close-io-port`	4.8 Files and Ports
	`close-port`	4.8 Files and Ports
	`close-port`	5.5 Posix Extensions
	`close-port`	5.9.3 Window Manipulation
	`closedir`	5.4 I/O-Extensions
	`CLOSEDP`	7.1.2 Cells
	`CLOSUREP`	7.1.2 Cells
	`CODE`	7.1.2 Cells
	`compile-file`	5.1 Compiling And Linking
	`CONSP`	7.1.2 Cells
	`copy-tree`	4.4 Miscellaneous Procedures
	`cosh`	5.2 Numeric
	`could-not-open`	4.6 Interrupts
	`current-error-port`	4.8 Files and Ports
	`current-time`	4.5 Time

D
	`default-input-port`	5.8 Line Editing
	`default-output-port`	5.8 Line Editing
	`DEFER_INTS`	7.2.2 Signals
	`defined?`	4.10 Syntax Extensions
	`defvar`	4.10 Syntax Extensions
	`dimensions->uniform-array`	5.3.3 Uniform Array
	`dimensions->uniform-array`	5.3.3 Uniform Array
	`display`	5.9.4 Output
	`display`	5.9.4 Output
	`duplicate-port`	5.4 I/O-Extensions
	`dyn:call`	5.1 Compiling And Linking
	`dyn:link`	5.1 Compiling And Linking
	`dyn:unlink`	5.1 Compiling And Linking
	`dynamic-root`	6.9 Dynamic Roots

E
	`echo`	5.9.2 Terminal Mode Setting
	`ed`	4.2 System Interface
	`ed`	4.2 System Interface
	`enclose-array`	5.3.1 Conventional Arrays
	`end-of-program`	4.6 Interrupts
	`endwin`	5.9 Curses
	`ENV`	7.1.2 Cells
	`equal-fn?`	6.1.2 Key-Vector 0 Elements
	`errno`	4.2 System Interface
	`errno`	4.2 System Interface
	`error`	4.3 Internal State
	`eval`	4.4 Miscellaneous Procedures
	`EVAL`	7.2.10 Evaluation
	`eval`	7.2.10 Evaluation
	`eval-string`	4.4 Miscellaneous Procedures
	`eval2`	6.5 User Defined Top Levels
	`exec-pipe`	6.14 Gscsh
	`execl`	5.4 I/O-Extensions
	`execlp`	5.4 I/O-Extensions
	`execv`	5.4 I/O-Extensions
	`execvp`	5.4 I/O-Extensions
	`exit`	4.2 System Interface
	`exit`	4.2 System Interface

F
	`fg-pipe`	6.14 Gscsh
	`file-position`	5.4 I/O-Extensions
	`file-set-position`	5.4 I/O-Extensions
	`fileno`	5.4 I/O-Extensions
	`force-output`	5.9.3 Window Manipulation
	`fork`	5.5 Posix Extensions
	`fork`	6.14 Gscsh
	`fork`	6.14 Gscsh
	`FPORTP`	7.1.2 Cells

G
	`gc`	4.3 Internal State
	`get-internal-real-time`	4.5 Time
	`get-internal-run-time`	4.5 Time
	`getcwd`	5.4 I/O-Extensions
	`getegid`	5.5 Posix Extensions
	`geteuid`	5.5 Posix Extensions
	`getgid`	5.5 Posix Extensions
	`getgr`	5.5 Posix Extensions
	`getgr`	5.5 Posix Extensions
	`getgr`	5.5 Posix Extensions
	`getgroups`	5.5 Posix Extensions
	`gethost`	5.10.1 Host Data, Network, Protocol, and Service Inquiries
	`gethost`	5.10.1 Host Data, Network, Protocol, and Service Inquiries
	`getnet`	5.10.1 Host Data, Network, Protocol, and Service Inquiries
	`getnet`	5.10.1 Host Data, Network, Protocol, and Service Inquiries
	`getpeername`	5.10.3 Socket
	`getpid`	5.4 I/O-Extensions
	`getppid`	5.5 Posix Extensions
	`getproto`	5.10.1 Host Data, Network, Protocol, and Service Inquiries
	`getproto`	5.10.1 Host Data, Network, Protocol, and Service Inquiries
	`getpw`	5.5 Posix Extensions
	`getpw`	5.5 Posix Extensions
	`getpw`	5.5 Posix Extensions
	`getserv`	5.10.1 Host Data, Network, Protocol, and Service Inquiries
	`getserv`	5.10.1 Host Data, Network, Protocol, and Service Inquiries
	`getsockname`	5.10.3 Socket
	`getuid`	5.5 Posix Extensions
	`getyx`	5.9.5 Input

H
	`hang-up`	4.6 Interrupts

I
	`ICHR`	7.1.1 Immediates
	`ICHRP`	7.1.1 Immediates
	`idlok`	5.9.1 Output Options Setting
	`IFLAGP`	7.1.1 Immediates
	`IMP`	7.1.1 Immediates
	`inet:address->string`	5.10.2 Internet Addresses
	`inet:local-network-address`	5.10.2 Internet Addresses
	`inet:make-address`	5.10.2 Internet Addresses
	`inet:network`	5.10.2 Internet Addresses
	`inet:string->address`	5.10.2 Internet Addresses
	`initscr`	5.9 Curses
	`init_signals`	7.2.2 Signals
	`INPORTP`	7.1.2 Cells
	`intern-string`	6.6 Obarrays
	`intern-symbol`	6.6 Obarrays
	`int_signal`	7.2.2 Signals
	`INUM`	7.1.1 Immediates
	`INUMP`	7.1.1 Immediates
	`isa-fn?`	6.1.2 Key-Vector 0 Elements
	`isatty?`	5.4 I/O-Extensions
	`ISYMCHARS`	7.1.1 Immediates
	`ISYMNUM`	7.1.1 Immediates
	`ISYMP`	7.1.1 Immediates

K
	`keyword->symbol`	6.7 Keywords
	`keyword?`	6.7 Keywords
	`kill`	5.5 Posix Extensions

L
	`leaveok`	5.9.1 Output Options Setting
	`LENGTH`	7.1.2 Cells
	`LENGTH`	7.1.2 Cells
	`LENGTH`	7.1.2 Cells
	`line-editing`	5.8 Line Editing
	`line-editing`	5.8 Line Editing
	`line-number`	4.4 Miscellaneous Procedures
	`link`	5.5 Posix Extensions
	`link-named-scm`	5.1 Compiling And Linking
	`list->uniform-array`	5.3.3 Uniform Array
	`list->uniform-vector`	5.3.3 Uniform Array
	`list-file`	4.4 Miscellaneous Procedures
	`load`	5.1 Compiling And Linking
	`load-string`	4.4 Miscellaneous Procedures
	`lock-vector!`	6.1.1 Lvector Procedures
	`lstat`	5.6 Unix Extensions
	`lvector-accessor`	6.1.1 Lvector Procedures
	`lvector-isa?`	6.1.1 Lvector Procedures
	`lvector-keys`	6.1.1 Lvector Procedures
	`lvector-modifier`	6.1.1 Lvector Procedures
	`lvector-ref`	6.1.1 Lvector Procedures
	`lvector-set!`	6.1.1 Lvector Procedures
	`lvector?`	6.1.1 Lvector Procedures

M
	`makcclo`	7.1.2 Cells
	`make-arbiter`	4.7 Process Synchronization
	`make-array`	5.3.1 Conventional Arrays
	`make-edited-line-port`	5.8 Line Editing
	`make-shared-array`	5.3.1 Conventional Arrays
	`make-soft-port`	4.9 Soft Ports
	`make-stream-socket`	5.10.3 Socket
	`make-stream-socket`	5.10.3 Socket
	`make-stream-socketpair`	5.10.3 Socket
	`make-stream-socketpair`	5.10.3 Socket
	`make-symbol`	6.7 Keywords
	`make-undefined`	6.4 Variables
	`make-undefined`	6.4 Variables
	`make-uniform-array`	5.3.3 Uniform Array
	`make-uniform-vector`	5.3.3 Uniform Array
	`make-uniform-vector`	5.3.3 Uniform Array
	`make-variable`	6.4 Variables
	`make-variable`	6.4 Variables
	`make_gsubr`	7.2.5 Defining Subrs
	`MAKICHR`	7.1.1 Immediates
	`MAKIFLAG`	7.1.1 Immediates
	`MAKINUM`	7.1.1 Immediates
	`MAKISYM`	7.1.1 Immediates
	`MAKSPCSYM`	7.1.1 Immediates
	`mkdir`	5.4 I/O-Extensions
	`mknod`	5.6 Unix Extensions
	`mvwin`	5.9.3 Window Manipulation

N
	`NCONSP`	7.1.2 Cells
	`NEWCELL`	7.1.2 Cells
	`newwin`	5.9.3 Window Manipulation
	`nice`	5.6 Unix Extensions
	`NIMP`	7.1.1 Immediates
	`NINUMP`	7.1.1 Immediates
	`nl`	5.9.2 Terminal Mode Setting
	`nocbreak`	5.9.2 Terminal Mode Setting
	`nodelay`	5.9.1 Output Options Setting
	`noecho`	5.9.2 Terminal Mode Setting
	`nonl`	5.9.2 Terminal Mode Setting
	`noraw`	5.9.2 Terminal Mode Setting
	`NSTRINGP`	7.1.2 Cells
	`NVECTORP`	7.1.2 Cells

O
	`open-file`	4.8 Files and Ports
	`open-input-pipe`	5.5 Posix Extensions
	`open-io-file`	4.8 Files and Ports
	`open-output-pipe`	5.5 Posix Extensions
	`open-pipe`	5.5 Posix Extensions
	`opendir`	5.4 I/O-Extensions
	`OPENP`	7.1.2 Cells
	`OPFPORTP`	7.1.2 Cells
	`OPINFPORTP`	7.1.2 Cells
	`OPINPORTP`	7.1.2 Cells
	`OPOUTFPORTP`	7.1.2 Cells
	`OPOUTPORTP`	7.1.2 Cells
	`OPPORTP`	7.1.2 Cells
	`out-of-storage`	4.6 Interrupts
	`OUTPORTP`	7.1.2 Cells
	`overlay`	5.9.3 Window Manipulation
	`overwrite`	5.9.3 Window Manipulation

P
	`perror`	4.2 System Interface
	`pipe`	5.5 Posix Extensions
	`PORTP`	7.1.2 Cells
	`print-fn`	6.1.2 Key-Vector 0 Elements
	`proc`	6.12.3 Defining Tcl Command in Scheme
	`procedure->macro`	4.11 Low Level Syntactic Hooks
	`procedure->memoizing-macro`	4.11 Low Level Syntactic Hooks
	`procedure->syntax`	4.11 Low Level Syntactic Hooks
	`procedure-assoc`	6.8 Procedure Properties
	`procedure-properties`	6.8 Procedure Properties
	`procedure-property`	6.8 Procedure Properties
	`procedure-putprop!`	6.8 Procedure Properties
	`program-arguments`	4.2 System Interface
	`putenv`	5.4 I/O-Extensions

Q
	`quit`	4.2 System Interface
	`quit`	4.2 System Interface

R
	`raw`	5.9.2 Terminal Mode Setting
	`read-char`	5.9.5 Input
	`read:sharp`	4.11 Low Level Syntactic Hooks
	`readdir`	5.4 I/O-Extensions
	`readlink`	5.6 Unix Extensions
	`redirect-port!`	5.4 I/O-Extensions
	`ref-fn`	6.1.2 Key-Vector 0 Elements
	`refresh`	5.9.3 Window Manipulation
	`regcomp`	5.7 Regular Expression Pattern Matching
	`regerror`	5.7 Regular Expression Pattern Matching
	`regexec`	5.7 Regular Expression Pattern Matching
	`regmatch`	5.7 Regular Expression Pattern Matching
	`regmatch?`	5.7 Regular Expression Pattern Matching
	`regmatchv`	5.7 Regular Expression Pattern Matching
	`regsearch`	5.7 Regular Expression Pattern Matching
	`regsearchv`	5.7 Regular Expression Pattern Matching
	`release-arbiter`	4.7 Process Synchronization
	`rename-file`	5.4 I/O-Extensions
	`reopen-file`	5.4 I/O-Extensions
	`require`	5.1 Compiling And Linking
	`require`	5.1 Compiling And Linking
	`resetty`	5.9.2 Terminal Mode Setting
	`rewinddir`	5.4 I/O-Extensions
	`rmdir`	5.4 I/O-Extensions
	`room`	4.3 Internal State
	`room`	4.3 Internal State

S
	`savetty`	5.9.2 Terminal Mode Setting
	`scm_evstr`	7.2.8 Calling Scheme From C
	`scm_ldfile`	7.2.8 Calling Scheme From C
	`scm_ldprog`	7.2.8 Calling Scheme From C
	`scm_ldstr`	7.2.8 Calling Scheme From C
	`scroll`	5.9.4 Output
	`scrollok`	5.9.1 Output Options Setting
	`serial-array-copy!`	5.3.1 Conventional Arrays
	`serial-array-map!`	5.3.2 Array Mapping
	`set-fn`	6.1.2 Key-Vector 0 Elements
	`set-procedure-properties!`	6.8 Procedure Properties
	`setegid`	5.5 Posix Extensions
	`seteuid`	5.5 Posix Extensions
	`setgid`	5.5 Posix Extensions
	`setgrent`	5.5 Posix Extensions
	`setgrent`	5.5 Posix Extensions
	`setgrent`	5.5 Posix Extensions
	`sethostent`	5.10.1 Host Data, Network, Protocol, and Service Inquiries
	`sethostent`	5.10.1 Host Data, Network, Protocol, and Service Inquiries
	`setnetent`	5.10.1 Host Data, Network, Protocol, and Service Inquiries
	`setnetent`	5.10.1 Host Data, Network, Protocol, and Service Inquiries
	`setprotoent`	5.10.1 Host Data, Network, Protocol, and Service Inquiries
	`setprotoent`	5.10.1 Host Data, Network, Protocol, and Service Inquiries
	`setpwent`	5.5 Posix Extensions
	`setpwent`	5.5 Posix Extensions
	`setpwent`	5.5 Posix Extensions
	`setservent`	5.10.1 Host Data, Network, Protocol, and Service Inquiries
	`setservent`	5.10.1 Host Data, Network, Protocol, and Service Inquiries
	`setuid`	5.5 Posix Extensions
	`SIDEVAL`	7.2.10 Evaluation
	`sinh`	5.2 Numeric
	`socket-name:address`	5.10.3 Socket
	`socket-name:family`	5.10.3 Socket
	`socket-name:port-number`	5.10.3 Socket
	`socket:accept`	5.10.3 Socket
	`socket:bind`	5.10.3 Socket
	`socket:bind`	5.10.3 Socket
	`socket:connect`	5.10.3 Socket
	`socket:connect`	5.10.3 Socket
	`socket:listen`	5.10.3 Socket
	`socket:shutdown`	5.10.3 Socket
	`stat`	5.4 I/O-Extensions
	`STREAM`	7.1.2 Cells
	`string-edit`	5.7 Regular Expression Pattern Matching
	`string-split`	5.7 Regular Expression Pattern Matching
	`string-splitv`	5.7 Regular Expression Pattern Matching
	`STRINGP`	7.1.2 Cells
	`subwin`	5.9.3 Window Manipulation
	`symbol->keyword`	6.7 Keywords
	`symbol-binding`	6.6 Obarrays
	`symbol-bound?`	6.6 Obarrays
	`symbol-interned?`	6.6 Obarrays
	`symbol-set!`	6.6 Obarrays
	`SYMBOLP`	7.1.2 Cells
	`symlink`	5.6 Unix Extensions
	`sync`	5.6 Unix Extensions

T
	`tanh`	5.2 Numeric
	`tcl-apply-command`	6.10 Tcl Facilities
	`tcl-command`	6.10 Tcl Facilities
	`tcl-create-command`	6.10 Tcl Facilities
	`tcl-create-interp`	6.10 Tcl Facilities
	`tcl-delete-command`	6.10 Tcl Facilities
	`tcl-get-boolean`	6.10 Tcl Facilities
	`tcl-get-double`	6.10 Tcl Facilities
	`tcl-get-int`	6.10 Tcl Facilities
	`tcl-get-var2`	6.10 Tcl Facilities
	`tcl-global-eval`	6.10 Tcl Facilities
	`tcl-lambda`	6.12.3 Defining Tcl Command in Scheme
	`tcl-merge`	6.10 Tcl Facilities
	`tcl-set-var2`	6.10 Tcl Facilities
	`tcl-split-list`	6.10 Tcl Facilities
	`tcl-trace-var2`	6.10 Tcl Facilities
	`tcl-untrace-var2`	6.10 Tcl Facilities
	`terms`	4.4 Miscellaneous Procedures
	`throw`	6.2 Exceptions
	`throw`	6.2 Exceptions
	`ticks`	4.6 Interrupts
	`ticks-interrupt`	4.6 Interrupts
	`tk-do-one-event`	6.11 Tk Facilities
	`tk-init-main-window`	6.11 Tk Facilities
	`tk-main-loop`	6.11 Tk Facilities
	`touchline`	5.9.3 Window Manipulation
	`touchwin`	5.9.3 Window Manipulation
	`transpose-array`	5.3.1 Conventional Arrays
	`try-arbiter`	4.7 Process Synchronization
	`try-load`	4.4 Miscellaneous Procedures
	`ttyname`	5.5 Posix Extensions
	`TYP16`	7.1.2 Cells
	`TYP3`	7.1.2 Cells
	`TYP7`	7.1.2 Cells

U
	`UCHARS`	7.1.2 Cells
	`UCHARS`	7.1.2 Cells
	`umask`	5.4 I/O-Extensions
	`uname`	5.5 Posix Extensions
	`unctrl`	5.9.6 Curses Miscellany
	`uniform-array-read!`	5.3.3 Uniform Array
	`uniform-array-read!`	5.3.3 Uniform Array
	`uniform-array-write`	5.3.3 Uniform Array
	`uniform-array-write`	5.3.3 Uniform Array
	`uniform-vector-fill!`	5.3.3 Uniform Array
	`uniform-vector-length`	5.3.3 Uniform Array
	`uniform-vector-read!`	5.3.3 Uniform Array
	`uniform-vector-read!`	5.3.3 Uniform Array
	`uniform-vector-write`	5.3.3 Uniform Array
	`uniform-vector-write`	5.3.3 Uniform Array
	`unlock-vector!`	6.1.1 Lvector Procedures
	`user-interrupt`	4.6 Interrupts
	`usr:lib`	5.1 Compiling And Linking
	`utime`	5.4 I/O-Extensions

V
	`variable-bound?`	6.4 Variables
	`variable-ref`	6.4 Variables
	`variable-set!`	6.4 Variables
	`variable?`	6.4 Variables
	`vector-set-length!`	4.4 Miscellaneous Procedures
	`VECTORP`	7.1.2 Cells
	`VELTS`	7.1.2 Cells
	`verbose`	4.3 Internal State
	`vms-debug`	4.2 System Interface

W
	`wadd`	5.9.4 Output
	`wadd`	5.9.4 Output
	`wait`	6.14 Gscsh
	`wait`	6.14 Gscsh
	`wait`	6.14 Gscsh
	`waitpid`	5.5 Posix Extensions
	`wclear`	5.9.4 Output
	`wclrtobot`	5.9.4 Output
	`wclrtoeol`	5.9.4 Output
	`wdelch`	5.9.4 Output
	`wdeleteln`	5.9.4 Output
	`werase`	5.9.4 Output
	`winch`	5.9.5 Input
	`winsch`	5.9.4 Output
	`winsertln`	5.9.4 Output
	`with-error-to-file`	4.8 Files and Ports
	`with-error-to-port`	4.8 Files and Ports
	`with-input-from-port`	4.8 Files and Ports
	`with-output-to-port`	4.8 Files and Ports
	`wmove`	5.9.3 Window Manipulation
	`wstandend`	5.9.6 Curses Miscellany
	`wstandout`	5.9.6 Curses Miscellany

Jump to:	# $ - @ _ A B C D E F G H I K L M N O P Q R S T U V W

Variable Index

This is an alphabetical list of all the global variables in SCM.

Jump to:	* A B E H I L M N O S U

	Index Entry	Section

*
	`argv`	2.7 Scheme Variables
	`interactive`	2.7 Scheme Variables
	`load-pathname`	4.4 Miscellaneous Procedures
	`R4RS-macro`	2.7 Scheme Variables
	`scm-version`	4.3 Internal State

A
	`af_inet`	5.10.1 Host Data, Network, Protocol, and Service Inquiries
	`af_unix`	5.10.1 Host Data, Network, Protocol, and Service Inquiries

B
	`BOOL_F`	7.1.1 Immediates
	`BOOL_T`	7.1.1 Immediates

E
	`EOF_VAL`	7.1.1 Immediates
	`EOL`	7.1.1 Immediates
	`errobj`	4.3 Internal State

H
	`HOME`	2.6 Environment Variables

I
	`internal-time-units-per-second`	4.5 Time
	`INUM0`	7.1.1 Immediates
	`isymnames`	7.1.1 Immediates

L
	`lvector-hook-slots`	6.1.2 Key-Vector 0 Elements

M
	`most-negative-fixnum`	5.2 Numeric
	`most-positive-fixnum`	5.2 Numeric

N
	`NUM_ISPCSYM`	7.1.1 Immediates
	`NUM_ISYMS`	7.1.1 Immediates

O
	`open_both`	4.8 Files and Ports
	`open_read`	4.8 Files and Ports
	`open_write`	4.8 Files and Ports

S
	`SCHEME_LIBRARY_PATH`	2.6 Environment Variables
	`SCM_INIT_PATH`	2.6 Environment Variables
	`symhash`	7.2.10 Evaluation

U
	`UNDEFINED`	7.1.1 Immediates
	`UNSPECIFIED`	7.1.1 Immediates

Jump to:	* A B E H I L M N O S U

Type Index

This is an alphabetical list of all the data types in SCM.

Jump to:	C G I S T

	Index Entry	Section

C
	`CELLPTR`	7.1.1 Immediates

G
	`gloc`	7.1.1 Immediates
	`GLOC`	7.2.10 Evaluation

I
	`ichr`	7.1.1 Immediates
	`iflags`	7.1.1 Immediates
	`iloc`	7.1.1 Immediates
	`ILOC`	7.2.10 Evaluation
	`inum`	7.1.1 Immediates
	`ispcsym`	7.1.1 Immediates
	`isym`	7.1.1 Immediates

S
	`spare`	7.1.2 Cells

T
	`tc16_arbiter`	7.1.2 Cells
	`tc16_array`	7.1.2 Cells
	`tc16_bigneg`	7.1.2 Cells
	`tc16_bigpos`	7.1.2 Cells
	`tc16_flo`	7.1.2 Cells
	`tc16_inpipe`	7.1.2 Cells
	`tc16_inport`	7.1.2 Cells
	`tc16_ioport`	7.1.2 Cells
	`tc16_macro`	7.1.2 Cells
	`tc16_outpipe`	7.1.2 Cells
	`tc16_outport`	7.1.2 Cells
	`tc16_promise`	7.1.2 Cells
	`tc16_sfport`	7.1.2 Cells
	`tc16_strport`	7.1.2 Cells
	`tc3_closure`	7.1.2 Cells
	`tc3_cons`	7.1.2 Cells
	`tc7_asubr`	7.1.2 Cells
	`tc7_bvect`	7.1.2 Cells
	`tc7_cclo`	7.1.2 Cells
	`tc7_contin`	7.1.2 Cells
	`tc7_cvect`	7.1.2 Cells
	`tc7_cxr`	7.1.2 Cells
	`tc7_dvect`	7.1.2 Cells
	`tc7_fvect`	7.1.2 Cells
	`tc7_ivect`	7.1.2 Cells
	`tc7_lsubr`	7.1.2 Cells
	`tc7_lsubr_2`	7.1.2 Cells
	`tc7_msymbol`	7.1.2 Cells
	`tc7_rpsubr`	7.1.2 Cells
	`tc7_ssymbol`	7.1.2 Cells
	`tc7_string`	7.1.2 Cells
	`tc7_subr_0`	7.1.2 Cells
	`tc7_subr_1`	7.1.2 Cells
	`tc7_subr_1o`	7.1.2 Cells
	`tc7_subr_2`	7.1.2 Cells
	`tc7_subr_2o`	7.1.2 Cells
	`tc7_subr_3`	7.1.2 Cells
	`tc7_uvect`	7.1.2 Cells
	`tc7_vector`	7.1.2 Cells
	`tc_dblc`	7.1.2 Cells
	`tc_dblr`	7.1.2 Cells
	`tc_free_cell`	7.1.2 Cells

Jump to:	C G I S T

1 Copying
2 Overview
3 Installing SCM
4 Standard Facilities
5 Packages
6 Guile Facilities
7 Internals
Procedure and Macro Index
Variable Index
Type Index

About This Document

This document was generated on November 5, 2024 using texi2html 5.0.

The buttons in the navigation panels have the following meaning:

Button	Name	Go to	From 1.2.3 go to
[ << ]	FastBack	Beginning of this chapter or previous chapter	1
[ < ]	Back	Previous section in reading order	1.2.2
[ Up ]	Up	Up section	1.2
[ > ]	Forward	Next section in reading order	1.2.4
[ >> ]	FastForward	Next chapter	2
[Top]	Top	Cover (top) of document
[Contents]	Contents	Table of contents
[Index]	Index	Index
[ ? ]	About	About (help)

where the Example assumes that the current position is at Subsubsection One-Two-Three of a document of the following structure:

1. Section One
- 1.1 Subsection One-One
  - ...
- 1.2 Subsection One-Two
  - 1.2.1 Subsubsection One-Two-One
  - 1.2.2 Subsubsection One-Two-Two
  - 1.2.3 Subsubsection One-Two-Three <== Current Position
  - 1.2.4 Subsubsection One-Two-Four
- 1.3 Subsection One-Three
  - ...
- 1.4 Subsection One-Four

This document was generated on November 5, 2024 using texi2html 5.0.

1 Copying
2 Overview		Whats here and how to start using it.
3 Installing SCM
4 Standard Facilities
5 Packages		Optional Capabilities
6 Guile Facilities		Brave new World
7 Internals		How it works
Procedure and Macro Index
Variable Index
Type Index

5.1 Compiling And Linking		and Dynamic Linking
5.2 Numeric
5.3 Arrays		As in APL
5.4 I/O-Extensions		’i/o-extensions
5.5 Posix Extensions
5.7 Regular Expression Pattern Matching		’regex
5.8 Line Editing
5.9 Curses		Screen Control
5.10 Sockets		Cruise the Net

7.2.1 Garbage Collection		Automatically reclaims unused storage
7.2.2 Signals
7.2.3 C Macros
7.2.4 Changing Scm		How to really screw it up
7.2.5 Defining Subrs
7.2.6 Defining Smobs
7.2.7 Defining Ptobs
7.2.8 Calling Scheme From C
7.2.9 Continuations
7.2.10 Evaluation		Why SCM is fast