mit-scheme.git
21 years agoUse angle notation for type descriptor.
Chris Hanson [Fri, 7 Mar 2003 21:18:22 +0000 (21:18 +0000)]
Use angle notation for type descriptor.

21 years agoUse DEFINE-RECORD-TYPE to make record descriptions more succinct.
Chris Hanson [Fri, 7 Mar 2003 21:13:29 +0000 (21:13 +0000)]
Use DEFINE-RECORD-TYPE to make record descriptions more succinct.

21 years agoUse DEFINE-RECORD-TYPE to make record descriptions more succinct.
Chris Hanson [Fri, 7 Mar 2003 20:53:22 +0000 (20:53 +0000)]
Use DEFINE-RECORD-TYPE to make record descriptions more succinct.

21 years agoUse DEFINE-RECORD-TYPE to make record descriptions more succinct.
Chris Hanson [Fri, 7 Mar 2003 20:48:09 +0000 (20:48 +0000)]
Use DEFINE-RECORD-TYPE to make record descriptions more succinct.

21 years agoUse DEFINE-RECORD-TYPE to make record descriptions more succinct.
Chris Hanson [Fri, 7 Mar 2003 20:41:23 +0000 (20:41 +0000)]
Use DEFINE-RECORD-TYPE to make record descriptions more succinct.

21 years agoUse DEFINE-RECORD-TYPE to make record descriptions more succinct.
Chris Hanson [Fri, 7 Mar 2003 19:40:14 +0000 (19:40 +0000)]
Use DEFINE-RECORD-TYPE to make record descriptions more succinct.

21 years agoUse DEFINE-RECORD-TYPE to make record descriptions more succinct.
Chris Hanson [Fri, 7 Mar 2003 19:34:48 +0000 (19:34 +0000)]
Use DEFINE-RECORD-TYPE to make record descriptions more succinct.

21 years agoUse DEFINE-RECORD-TYPE to make record descriptions more succinct.
Chris Hanson [Fri, 7 Mar 2003 19:19:24 +0000 (19:19 +0000)]
Use DEFINE-RECORD-TYPE to make record descriptions more succinct.

21 years agoUse DEFINE-RECORD-TYPE to make record descriptions more succinct.
Chris Hanson [Fri, 7 Mar 2003 19:09:22 +0000 (19:09 +0000)]
Use DEFINE-RECORD-TYPE to make record descriptions more succinct.

21 years agoRemove angle brackets ("<...>") from record-type name.
Chris Hanson [Fri, 7 Mar 2003 19:08:28 +0000 (19:08 +0000)]
Remove angle brackets ("<...>") from record-type name.

21 years agoUse RECORD-KEYWORD-CONSTRUCTOR.
Chris Hanson [Fri, 7 Mar 2003 18:45:58 +0000 (18:45 +0000)]
Use RECORD-KEYWORD-CONSTRUCTOR.

21 years agoImplement RECORD-KEYWORD-CONSTRUCTOR.
Chris Hanson [Fri, 7 Mar 2003 18:34:43 +0000 (18:34 +0000)]
Implement RECORD-KEYWORD-CONSTRUCTOR.

21 years agoFix typo.
Chris Hanson [Fri, 7 Mar 2003 06:18:17 +0000 (06:18 +0000)]
Fix typo.

21 years agoRename RECORD-COPY to COPY-RECORD.
Chris Hanson [Fri, 7 Mar 2003 05:49:18 +0000 (05:49 +0000)]
Rename RECORD-COPY to COPY-RECORD.

21 years agoRevamp the record abstraction. Record types now have a "default
Chris Hanson [Fri, 7 Mar 2003 05:48:36 +0000 (05:48 +0000)]
Revamp the record abstraction.  Record types now have a "default
record" that can be used as a template to speed up record
construction, and to hold default slot values.  Eliminate optional
print-method argument to MAKE-RECORD-TYPE, replacing it with an
optional default-values argument.  Tune record constructors to be very
fast for those cases where it is easy to do so.  Change RECORD-COPY to
COPY-RECORD.

21 years agoRevert most of previous change. Instead introduce new procedures
Chris Hanson [Fri, 7 Mar 2003 05:42:38 +0000 (05:42 +0000)]
Revert most of previous change.  Instead introduce new procedures
LIST?->LENGTH and LIST-OF-TYPE?->LENGTH (yes, I know these names suck;
I'm open to suggestions).  Also introduce corresponding GUARANTEE
procedures.

21 years agoChange LIST?, ALIST?, and LIST-OF-TYPE? to return the length of the
Chris Hanson [Thu, 6 Mar 2003 15:28:48 +0000 (15:28 +0000)]
Change LIST?, ALIST?, and LIST-OF-TYPE? to return the length of the
list when true.  New procedures GUARANTEE-LIST, GUARANTEE-ALIST, and
GUARANTEE-LIST-OF-TYPE.  Replace GUARANTEE-INDEX/LIST with
GUARANTEE-INDEX-FIXNUM.

21 years agoEliminate long-unused support for applicable records.
Chris Hanson [Thu, 6 Mar 2003 05:41:19 +0000 (05:41 +0000)]
Eliminate long-unused support for applicable records.

21 years agoChange name of button type from BUTTON-RECORD-TYPE to <BUTTON>.
Chris Hanson [Thu, 6 Mar 2003 05:14:21 +0000 (05:14 +0000)]
Change name of button type from BUTTON-RECORD-TYPE to <BUTTON>.

21 years agoFix mistake in definition of DEFINE-RECORD-TYPE: fields are in CDDDDR
Chris Hanson [Thu, 6 Mar 2003 05:05:52 +0000 (05:05 +0000)]
Fix mistake in definition of DEFINE-RECORD-TYPE: fields are in CDDDDR
of form, not in the fifth element.

21 years agoEliminate long-unused support for applicable records.
Chris Hanson [Thu, 6 Mar 2003 04:57:52 +0000 (04:57 +0000)]
Eliminate long-unused support for applicable records.

21 years agoNew procedure XML->WIDE-STRING.
Chris Hanson [Wed, 5 Mar 2003 01:15:13 +0000 (01:15 +0000)]
New procedure XML->WIDE-STRING.

21 years agoRestructure XML output procedures to take a rest argument that is a
Chris Hanson [Wed, 5 Mar 2003 01:14:40 +0000 (01:14 +0000)]
Restructure XML output procedures to take a rest argument that is a
list of keyword options.  At present, there is only one option,
'start-indent, which turns the indentation on or off.

21 years agoFix typo.
Chris Hanson [Mon, 3 Mar 2003 12:42:13 +0000 (12:42 +0000)]
Fix typo.

21 years agoFix several parser bugs that were found by the conformance tests.
Chris Hanson [Sun, 2 Mar 2003 03:49:46 +0000 (03:49 +0000)]
Fix several parser bugs that were found by the conformance tests.

21 years agoDon't allow whitespace in DTD.
Chris Hanson [Sun, 2 Mar 2003 03:48:47 +0000 (03:48 +0000)]
Don't allow whitespace in DTD.

21 years agoReject documents that contain entity references whose replacement text
Chris Hanson [Sun, 2 Mar 2003 02:48:39 +0000 (02:48 +0000)]
Reject documents that contain entity references whose replacement text
isn't fully defined.

21 years agoMajor rewrite, primarily to eliminate XML-UNINTERPRETED, replacing it
Chris Hanson [Sat, 1 Mar 2003 16:53:39 +0000 (16:53 +0000)]
Major rewrite, primarily to eliminate XML-UNINTERPRETED, replacing it
with XML-ENTITY-REF and XML-PARAMETER-ENTITY-REF.  Also add careful
type checking to data structures, so that argument structure is
verified.

21 years agoFix logic error in UTF-8 decoding.
Chris Hanson [Sat, 1 Mar 2003 05:38:22 +0000 (05:38 +0000)]
Fix logic error in UTF-8 decoding.

21 years agoMajor rewrite of Unicode support. New design supports "wide"
Chris Hanson [Fri, 28 Feb 2003 04:40:25 +0000 (04:40 +0000)]
Major rewrite of Unicode support.  New design supports "wide"
characters and strings, and has support for UTF-8, UTF-16, and UTF-32
encodings.

21 years agoChange character representation to have 21 code bits and 4 bucky bits.
Chris Hanson [Fri, 28 Feb 2003 04:36:04 +0000 (04:36 +0000)]
Change character representation to have 21 code bits and 4 bucky bits.
This new representation allows all Unicode characters to be
represented.

21 years agoAllow OPEN-INPUT-STRING to accept #F for optional arguments.
Chris Hanson [Thu, 27 Feb 2003 21:27:58 +0000 (21:27 +0000)]
Allow OPEN-INPUT-STRING to accept #F for optional arguments.

21 years agoChange GUARANTEE-SUBSTRING-END-INDEX to take a length argument rather
Chris Hanson [Wed, 26 Feb 2003 00:24:29 +0000 (00:24 +0000)]
Change GUARANTEE-SUBSTRING-END-INDEX to take a length argument rather
than a string argument.

21 years agoRemove references to #\T- characters.
Chris Hanson [Tue, 25 Feb 2003 20:53:22 +0000 (20:53 +0000)]
Remove references to #\T- characters.

21 years agoAdd GUARANTEE-LIMITED-INDEX-FIXNUM.
Chris Hanson [Tue, 25 Feb 2003 20:37:28 +0000 (20:37 +0000)]
Add GUARANTEE-LIMITED-INDEX-FIXNUM.

21 years agoAdd GUARANTEE-INDEX-FIXNUM.
Chris Hanson [Tue, 25 Feb 2003 20:35:26 +0000 (20:35 +0000)]
Add GUARANTEE-INDEX-FIXNUM.

21 years agoAdd VECTOR-OF-TYPE? to indentation table.
Chris Hanson [Tue, 25 Feb 2003 18:35:12 +0000 (18:35 +0000)]
Add VECTOR-OF-TYPE? to indentation table.

21 years agoExport "guarantee" procedures for string indices.
Chris Hanson [Mon, 24 Feb 2003 21:56:36 +0000 (21:56 +0000)]
Export "guarantee" procedures for string indices.

21 years agoExport "guarantee" procedures for string indices.
Chris Hanson [Mon, 24 Feb 2003 21:55:32 +0000 (21:55 +0000)]
Export "guarantee" procedures for string indices.

21 years agoExport "guarantee" procedures for string indices.
Chris Hanson [Mon, 24 Feb 2003 20:48:38 +0000 (20:48 +0000)]
Export "guarantee" procedures for string indices.

21 years agoAdd LIST-OF-TYPE? to indentation table.
Chris Hanson [Wed, 19 Feb 2003 17:11:07 +0000 (17:11 +0000)]
Add LIST-OF-TYPE? to indentation table.

21 years agoGenerate changelog for HTML files.
Chris Hanson [Sun, 16 Feb 2003 06:28:49 +0000 (06:28 +0000)]
Generate changelog for HTML files.

21 years agoGenerate changelog for HTML files.
Chris Hanson [Sun, 16 Feb 2003 06:16:44 +0000 (06:16 +0000)]
Generate changelog for HTML files.

21 years agoChange program name to MIT/GNU Scheme.
Chris Hanson [Fri, 14 Feb 2003 19:22:43 +0000 (19:22 +0000)]
Change program name to MIT/GNU Scheme.

21 years agoChange program name to MIT/GNU Scheme.
Chris Hanson [Fri, 14 Feb 2003 18:48:13 +0000 (18:48 +0000)]
Change program name to MIT/GNU Scheme.

21 years agoChange program name to MIT/GNU Scheme.
Chris Hanson [Fri, 14 Feb 2003 18:30:31 +0000 (18:30 +0000)]
Change program name to MIT/GNU Scheme.

21 years agoCanonicalize copyright/license notices.
Chris Hanson [Fri, 14 Feb 2003 18:25:21 +0000 (18:25 +0000)]
Canonicalize copyright/license notices.

21 years agoAdd support for SRFI-6 -- this consists of renaming some procedures.
Chris Hanson [Thu, 13 Feb 2003 19:59:00 +0000 (19:59 +0000)]
Add support for SRFI-6 -- this consists of renaming some procedures.
Also change all the references to the SRFI-6 names.

21 years agoAdd procedure to compare two build trees.
Chris Hanson [Thu, 13 Feb 2003 18:17:09 +0000 (18:17 +0000)]
Add procedure to compare two build trees.

21 years agoEliminate definitions embedded inside LET-SYNTAX, since they depend on
Chris Hanson [Thu, 13 Feb 2003 05:07:46 +0000 (05:07 +0000)]
Eliminate definitions embedded inside LET-SYNTAX, since they depend on
an incorrect implementation of LET-SYNTAX.

21 years agoCan't use top-level DEFINE-SYNTAX in this file, because it breaks the
Chris Hanson [Thu, 13 Feb 2003 04:26:01 +0000 (04:26 +0000)]
Can't use top-level DEFINE-SYNTAX in this file, because it breaks the
cold load.

21 years agoEliminate compiler warning.
Chris Hanson [Thu, 13 Feb 2003 02:59:28 +0000 (02:59 +0000)]
Eliminate compiler warning.

21 years agoFix interaction between LET-SYNTAX and definitions. Previously
Chris Hanson [Thu, 13 Feb 2003 02:46:41 +0000 (02:46 +0000)]
Fix interaction between LET-SYNTAX and definitions.  Previously
a definition inside a LET-SYNTAX changed the environment outside the
LET-SYNTAX.  Now it changes the environment inside the LET-SYNTAX, as
it is supposed to.

21 years agoEliminate definitions embedded inside LET-SYNTAX, since they depend on
Chris Hanson [Thu, 13 Feb 2003 02:39:48 +0000 (02:39 +0000)]
Eliminate definitions embedded inside LET-SYNTAX, since they depend on
an incorrect implementation of LET-SYNTAX.

21 years agoUse "--" form for command-line arguments.
Chris Hanson [Wed, 12 Feb 2003 19:42:33 +0000 (19:42 +0000)]
Use "--" form for command-line arguments.

21 years agoEliminate "(c)" string from copyright notices.
Chris Hanson [Wed, 12 Feb 2003 19:41:09 +0000 (19:41 +0000)]
Eliminate "(c)" string from copyright notices.

21 years agoProperly fix problem with LETREC/definition interaction. This
Chris Hanson [Wed, 12 Feb 2003 19:40:38 +0000 (19:40 +0000)]
Properly fix problem with LETREC/definition interaction.  This
requires an extra environment frame in the syntax expander, to model
the frame that is potentially inserted in the output.  And we must
continue to use the "auxiliary" variable mechanism, since the compiler
and several other things depend on it in order to recognize
LETREC-like structures.

21 years agoComplete rewrite, greatly simplied code. Initiated to eliminate use
Chris Hanson [Mon, 10 Feb 2003 06:09:54 +0000 (06:09 +0000)]
Complete rewrite, greatly simplied code.  Initiated to eliminate use
of "internal" LAMBDA expressions, but got out of hand.

21 years agoAdd GUARANTEE- procedures. Clean up a little, and update copyright
Chris Hanson [Mon, 10 Feb 2003 01:54:05 +0000 (01:54 +0000)]
Add GUARANTEE- procedures.  Clean up a little, and update copyright
dates.

21 years agoFix bug in output of LETREC expressions: internal definitions within
Chris Hanson [Sun, 9 Feb 2003 01:58:09 +0000 (01:58 +0000)]
Fix bug in output of LETREC expressions: internal definitions within
the LETREC must be rewritten as a nested LETREC.  Previously they were
merged into the outer LETREC.

21 years agoNew procedures: STRING->XML, SUBSTRING->XML, and XML->STRING.
Chris Hanson [Fri, 7 Feb 2003 20:02:14 +0000 (20:02 +0000)]
New procedures: STRING->XML, SUBSTRING->XML, and XML->STRING.

21 years agoExport GUARANTEE-PAIR to global environment.
Chris Hanson [Thu, 6 Feb 2003 19:48:32 +0000 (19:48 +0000)]
Export GUARANTEE-PAIR to global environment.

21 years agoFix bug in definition of COMPLETE keyword.
Chris Hanson [Thu, 6 Feb 2003 18:52:08 +0000 (18:52 +0000)]
Fix bug in definition of COMPLETE keyword.

21 years agoGenerate appropriate error message when ellipsis appears in template
Chris Hanson [Fri, 31 Jan 2003 06:04:38 +0000 (06:04 +0000)]
Generate appropriate error message when ellipsis appears in template
but not in pattern.

21 years agoUpdate copyright; use PAIR? rather than NULL? where appropriate.
Chris Hanson [Fri, 31 Jan 2003 05:00:52 +0000 (05:00 +0000)]
Update copyright; use PAIR? rather than NULL? where appropriate.

21 years agoExport CHAR-SET:XML-WHITESPACE.
Chris Hanson [Thu, 30 Jan 2003 17:30:25 +0000 (17:30 +0000)]
Export CHAR-SET:XML-WHITESPACE.

21 years agoUpdate copyright/license statement.
Chris Hanson [Sun, 26 Jan 2003 06:35:41 +0000 (06:35 +0000)]
Update copyright/license statement.

21 years agoUpdate copyright/license statement.
Chris Hanson [Sun, 26 Jan 2003 06:35:02 +0000 (06:35 +0000)]
Update copyright/license statement.

21 years agoMake XML-INTERN be an alias for STRING->SYMBOL.
Chris Hanson [Sun, 26 Jan 2003 06:28:15 +0000 (06:28 +0000)]
Make XML-INTERN be an alias for STRING->SYMBOL.

21 years agoWhen TEST-FOR-IO-ON-CHANNEL returns HANGUP or ERROR, call
Chris Hanson [Thu, 23 Jan 2003 02:53:22 +0000 (02:53 +0000)]
When TEST-FOR-IO-ON-CHANNEL returns HANGUP or ERROR, call
CHANNEL-READ/CHANNEL-WRITE just as if it had returned an I/O-available
result.

21 years agoUse new I/O synchronization to avoid blocking the Scheme process when
Chris Hanson [Wed, 22 Jan 2003 20:30:25 +0000 (20:30 +0000)]
Use new I/O synchronization to avoid blocking the Scheme process when
an output channel blocks.

21 years agoChange calling interface for test-select-registry so that all of the
Chris Hanson [Wed, 22 Jan 2003 19:46:40 +0000 (19:46 +0000)]
Change calling interface for test-select-registry so that all of the
returned mode information is passed back.

21 years agoUse new I/O synchronization support in runtime system.
Chris Hanson [Wed, 22 Jan 2003 18:44:04 +0000 (18:44 +0000)]
Use new I/O synchronization support in runtime system.

21 years agoUse ERROR and HANGUP values returned by TEST-SELECT-DESCRIPTOR.
Chris Hanson [Wed, 22 Jan 2003 18:43:05 +0000 (18:43 +0000)]
Use ERROR and HANGUP values returned by TEST-SELECT-DESCRIPTOR.

21 years agoPay attention to POLLERR and POLLHUP values returned by poll().
Chris Hanson [Wed, 22 Jan 2003 18:42:32 +0000 (18:42 +0000)]
Pay attention to POLLERR and POLLHUP values returned by poll().

21 years agoUse new I/O synchronization primitives. Requires microcode 14.11 or
Chris Hanson [Wed, 22 Jan 2003 02:06:44 +0000 (02:06 +0000)]
Use new I/O synchronization primitives.  Requires microcode 14.11 or
later.

21 years agoImplement new primitives for I/O synchronization. These new
Chris Hanson [Wed, 22 Jan 2003 02:04:19 +0000 (02:04 +0000)]
Implement new primitives for I/O synchronization.  These new
primitives have a uniform interface for all operating systems, and
support detection of write-ready events as well as read-ready.  (Note
that the Win32 and OS/2 primitives aren't yet written.)

21 years agoChange default value of imail-mime-collapse-digest to #f.
Chris Hanson [Wed, 15 Jan 2003 21:26:02 +0000 (21:26 +0000)]
Change default value of imail-mime-collapse-digest to #f.

21 years agoAdd indent methods for SFRI keywords.
Chris Hanson [Wed, 15 Jan 2003 04:52:25 +0000 (04:52 +0000)]
Add indent methods for SFRI keywords.

21 years agoAdd comment aout treating MIME digests as subfolders.
Chris Hanson [Fri, 10 Jan 2003 21:29:10 +0000 (21:29 +0000)]
Add comment aout treating MIME digests as subfolders.

21 years agoEliminate last vestiges of UNWIND-PROTECT.
Chris Hanson [Fri, 10 Jan 2003 20:25:05 +0000 (20:25 +0000)]
Eliminate last vestiges of UNWIND-PROTECT.

21 years agoRework code that starts the debugger. The edwin variable
Chris Hanson [Fri, 10 Jan 2003 20:10:00 +0000 (20:10 +0000)]
Rework code that starts the debugger.  The edwin variable
DEBUGGER-START-ON-ERROR? has been removed, and the various
DEBUG-ON-*-ERROR edwin variables have been generalized to take a 'ASK
value that prompts the user.  The prompting has been cleaned up, and
the interface simplified.

21 years agoOrder predicates for keys must also handle buttons. Otherwise, the
Chris Hanson [Fri, 10 Jan 2003 18:52:09 +0000 (18:52 +0000)]
Order predicates for keys must also handle buttons.  Otherwise, the
code that sorts key bindings will break.

21 years agoOrder predicates for keys must also handle buttons. Otherwise, the
Chris Hanson [Fri, 10 Jan 2003 18:50:26 +0000 (18:50 +0000)]
Order predicates for keys must also handle buttons.  Otherwise, the
code that sorts key bindings will break.

21 years agoEliminate unused procedure MAKE-MODIFIED-BUTTON.
Chris Hanson [Thu, 9 Jan 2003 20:52:21 +0000 (20:52 +0000)]
Eliminate unused procedure MAKE-MODIFIED-BUTTON.

21 years agoMove URL support back to the runtime system.
Chris Hanson [Thu, 9 Jan 2003 19:44:03 +0000 (19:44 +0000)]
Move URL support back to the runtime system.

21 years agoMove URL support back to the runtime system.
Chris Hanson [Thu, 9 Jan 2003 19:23:54 +0000 (19:23 +0000)]
Move URL support back to the runtime system.

21 years agoFix broken multi-line string constant.
Chris Hanson [Sun, 5 Jan 2003 23:30:21 +0000 (23:30 +0000)]
Fix broken multi-line string constant.

21 years agoEliminate trailing spaces after last item in row.
Chris Hanson [Fri, 3 Jan 2003 21:56:01 +0000 (21:56 +0000)]
Eliminate trailing spaces after last item in row.

21 years agoFix fencepost error -- output must be less than width of output device.
Chris Hanson [Fri, 3 Jan 2003 21:32:12 +0000 (21:32 +0000)]
Fix fencepost error -- output must be less than width of output device.

21 years agoRename: WRITE-STRINGS-AS-TABLE -> WRITE-STRINGS-IN-COLUMNS.
Chris Hanson [Fri, 3 Jan 2003 01:37:53 +0000 (01:37 +0000)]
Rename: WRITE-STRINGS-AS-TABLE -> WRITE-STRINGS-IN-COLUMNS.

21 years agoDon't write column separators for empty cells in the table.
Chris Hanson [Fri, 3 Jan 2003 01:35:55 +0000 (01:35 +0000)]
Don't write column separators for empty cells in the table.

21 years agoPrint ID strings in row-major order.
Chris Hanson [Thu, 2 Jan 2003 02:02:41 +0000 (02:02 +0000)]
Print ID strings in row-major order.

21 years agoDon't print architecture name. Upcase "LIAR" to emphasize that it is
Chris Hanson [Thu, 2 Jan 2003 02:01:05 +0000 (02:01 +0000)]
Don't print architecture name.  Upcase "LIAR" to emphasize that it is
an acronym.

21 years agoNew procedure WRITE-STRINGS-AS-TABLE is used to format the ID strings
Chris Hanson [Thu, 2 Jan 2003 01:56:33 +0000 (01:56 +0000)]
New procedure WRITE-STRINGS-AS-TABLE is used to format the ID strings
printed by IDENTIFY-WORLD.

21 years agoNew procedure WRITE-STRINGS-AS-TABLE is used to format the ID strings
Chris Hanson [Thu, 2 Jan 2003 01:55:19 +0000 (01:55 +0000)]
New procedure WRITE-STRINGS-AS-TABLE is used to format the ID strings
printed by IDENTIFY-WORLD.

21 years agoFix thinko in previous change.
Chris Hanson [Thu, 2 Jan 2003 01:54:32 +0000 (01:54 +0000)]
Fix thinko in previous change.

21 years agoNew procedure WRITE-STRINGS-AS-TABLE is used to format the ID strings
Chris Hanson [Thu, 2 Jan 2003 01:52:39 +0000 (01:52 +0000)]
New procedure WRITE-STRINGS-AS-TABLE is used to format the ID strings
printed by IDENTIFY-WORLD.

21 years agoAdd predicate and guarantee for exact positive integers.
Chris Hanson [Wed, 1 Jan 2003 05:38:34 +0000 (05:38 +0000)]
Add predicate and guarantee for exact positive integers.

21 years agoImplement GUARANTEE-* for number types.
Chris Hanson [Wed, 1 Jan 2003 02:36:10 +0000 (02:36 +0000)]
Implement GUARANTEE-* for number types.