mit-scheme.git
14 years ago* Renamed `cast-flonum-to-integer' to `cast-ieee754-double-to-integer'.
Arthur A. Gleckler [Thu, 2 Sep 2010 05:23:39 +0000 (22:23 -0700)]
* Renamed `cast-flonum-to-integer' to `cast-ieee754-double-to-integer'.

* Renamed `cast-integer-to-flonum' to `cast-integer-to-ieee754-double'.

* Changed both to use <uint64_t> instead of <unsigned long> for
conversion.  That way, they should work on 32-bit systems.  (Thanks to
Taylor for pointing out that bug.)

* Added `cast-ieee754-single-to-integer' and `cast-integer-to-ieee754-single'.

* Updated existing tests.

* Added tests for casts to and from single-precision floating-point numbers.

14 years agoRemoved the divisions by zero that I had used to create floating-point
Arthur A. Gleckler [Thu, 2 Sep 2010 03:48:14 +0000 (20:48 -0700)]
Removed the divisions by zero that I had used to create floating-point
infinities since those are supposed to trap, not actually return
infinities.  On OS X, the trap doesn't happen, but I shouldn't depend
on a bug.

14 years agoMerge branch 'master' of git://git.savannah.gnu.org/mit-scheme
Arthur A. Gleckler [Wed, 1 Sep 2010 04:17:30 +0000 (21:17 -0700)]
Merge branch 'master' of git://git.savannah.gnu.org/mit-scheme

14 years agoAdded primitives `cast-flonum-to-integer' and `cast-integer-to-flonum'
Arthur A. Gleckler [Wed, 1 Sep 2010 04:16:03 +0000 (21:16 -0700)]
Added primitives `cast-flonum-to-integer' and `cast-integer-to-flonum'
and tests.

14 years agoSofter landing for system-library-directory-pathname if sudirectory doesn't exist.
Joe Marshall [Tue, 31 Aug 2010 20:25:58 +0000 (13:25 -0700)]
Softer landing for system-library-directory-pathname if sudirectory doesn't exist.

14 years agoMerge branch 'master' of ssh://git.sv.gnu.org/srv/git/mit-scheme
Taylor R Campbell [Tue, 31 Aug 2010 15:26:30 +0000 (15:26 +0000)]
Merge branch 'master' of ssh://git.sv.gnu.org/srv/git/mit-scheme

14 years agoExploit OBJECT->FIXNUM's independence of tag on i386 and x86-64.
Taylor R Campbell [Tue, 31 Aug 2010 15:25:00 +0000 (15:25 +0000)]
Exploit OBJECT->FIXNUM's independence of tag on i386 and x86-64.

14 years agoKill infinite parsing loop by using + inside *, not * inside *.
Taylor R Campbell [Tue, 31 Aug 2010 15:24:00 +0000 (15:24 +0000)]
Kill infinite parsing loop by using + inside *, not * inside *.

14 years agoFixed comment in shadowing test.
Arthur A. Gleckler [Tue, 31 Aug 2010 05:15:15 +0000 (22:15 -0700)]
Fixed comment in shadowing test.

14 years agoMerge branch 'master' of ssh://git.sv.gnu.org/srv/git/mit-scheme
Taylor R Campbell [Mon, 30 Aug 2010 21:02:38 +0000 (21:02 +0000)]
Merge branch 'master' of ssh://git.sv.gnu.org/srv/git/mit-scheme

14 years agoFix missing -f in test.
Chris Hanson [Mon, 30 Aug 2010 09:10:55 +0000 (02:10 -0700)]
Fix missing -f in test.

14 years agoAdd unit test to confirm that shadowing fix worked.
Chris Hanson [Mon, 30 Aug 2010 06:25:17 +0000 (23:25 -0700)]
Add unit test to confirm that shadowing fix worked.

14 years agoMerge branch 'master' of git.sv.gnu.org:/srv/git/mit-scheme
Chris Hanson [Mon, 30 Aug 2010 05:52:55 +0000 (22:52 -0700)]
Merge branch 'master' of git.sv.gnu.org:/srv/git/mit-scheme

14 years agoExtend hash table entry types to support ephemeral hash tables.
Taylor R Campbell [Sun, 29 Aug 2010 17:28:53 +0000 (17:28 +0000)]
Extend hash table entry types to support ephemeral hash tables.

Add some tests for correctness against red/black trees.

Still missing are tests for weak and ephemeral entries types.

14 years agoFix SVM's write_cc_entry_offset.
Taylor R Campbell [Sat, 28 Aug 2010 20:58:19 +0000 (20:58 +0000)]
Fix SVM's write_cc_entry_offset.

Since this is used only to initialize trampolines, the starting
instruction is irrelevant, and will be garbage anyway because the
trampoline blocks are always freshly allocated.

14 years agoFix SVM interpreter's INDEX-FIXNUM? predicate.
Taylor R Campbell [Sat, 28 Aug 2010 20:56:36 +0000 (20:56 +0000)]
Fix SVM interpreter's INDEX-FIXNUM? predicate.

14 years agoFix SVM machine's conditional floating-point jumps.
Taylor R Campbell [Sat, 28 Aug 2010 20:56:03 +0000 (20:56 +0000)]
Fix SVM machine's conditional floating-point jumps.

These want to use the float registers, not the word registers.

14 years agoFix SVM interpreter's decoding of doubles.
Taylor R Campbell [Sat, 28 Aug 2010 20:55:04 +0000 (20:55 +0000)]
Fix SVM interpreter's decoding of doubles.

They are encoded as 64-bit significand and 16-bit exponent, not as
machine (IEEE 754) doubles.

14 years agoIn FLO:VECTOR-LENGTH, coerce length to fixnum before OBJECT->FIXNUM.
Taylor R Campbell [Sat, 28 Aug 2010 20:52:26 +0000 (20:52 +0000)]
In FLO:VECTOR-LENGTH, coerce length to fixnum before OBJECT->FIXNUM.

The previous open-coding worked whenever OBJECT->FIXNUM merely
shifted left by the tag width, ignoring whatever tag was there
before.  The SVM does not do this, however.

14 years agoOmit continuation code words after interpreter cache references.
Taylor R Campbell [Sat, 28 Aug 2010 20:49:33 +0000 (20:49 +0000)]
Omit continuation code words after interpreter cache references.

The RTL already arranges their continuations to follow them; putting
an extra continuation code word causes the machine to try to execute
the real one as if it were an instruction.

14 years agoPRE-INCREMENT is only ever a memory reference, not address, in RTL.
Taylor R Campbell [Sat, 28 Aug 2010 20:48:47 +0000 (20:48 +0000)]
PRE-INCREMENT is only ever a memory reference, not address, in RTL.

14 years agoUse NON-POINTER-OBJECT? and CAREFUL-OBJECT-DATUM in the compiler.
Taylor R Campbell [Sat, 28 Aug 2010 20:47:08 +0000 (20:47 +0000)]
Use NON-POINTER-OBJECT? and CAREFUL-OBJECT-DATUM in the compiler.

Using OBJECT-NON-POINTER? causes primitives to be put into blocks as
non-marked constants, so that the fasloader fails to renumber them.

14 years agoUpdate `last update' dates on the reference and user manuals.
Taylor R Campbell [Mon, 23 Aug 2010 19:13:02 +0000 (19:13 +0000)]
Update `last update' dates on the reference and user manuals.

14 years agoDocument the stack sampler.
Taylor R Campbell [Mon, 23 Aug 2010 18:58:51 +0000 (18:58 +0000)]
Document the stack sampler.

14 years agoDraft fix for over-shadowing bug.
Chris Hanson [Mon, 23 Aug 2010 09:20:00 +0000 (02:20 -0700)]
Draft fix for over-shadowing bug.

14 years agoAdd tests for ephemerons with compiled entries for keys and data.
Taylor R Campbell [Fri, 20 Aug 2010 02:57:36 +0000 (02:57 +0000)]
Add tests for ephemerons with compiled entries for keys and data.

14 years agoFix bug in the GC's ephemeron scanning.
Taylor R Campbell [Fri, 20 Aug 2010 02:57:01 +0000 (02:57 +0000)]
Fix bug in the GC's ephemeron scanning.

When queueing ephemerons for the key stored at some address, compare
the address to the weak referent address of each ephemeron's key --
not to the object address of each ephemeron's key, which causes us to
miss ephemerons whose keys are compiled entries, because we pass the
addresses of compiled blocks, never those of the compiled entries
stored in them, to queue_ephemerons_for_key.

14 years agoMinor fixes to unit-testing.scm.
Taylor R Campbell [Fri, 20 Aug 2010 02:45:31 +0000 (02:45 +0000)]
Minor fixes to unit-testing.scm.

- Update copyright years.
- Ignore unused variable CONDITION in ASSERT-ERROR.
- Use RUN-SUB-TEST to run test procedures in RUN-SUB-TESTS

The last one is probably wrong, but without it, running unit tests
crashes in a bizarre way for me.  Example:

(run-unit-tests "runtime/test-ephemeron")
;Loading "runtime/test-ephemeron.com"... done
no-gc: failed 2 sub-tests out of 2 in .32 seconds:
    .0.0:
;Ill-formed failure: key

14 years agoOmit needless definition of REFERENCE-BARRIER in test-ephemeron.scm.
Taylor R Campbell [Fri, 20 Aug 2010 02:43:13 +0000 (02:43 +0000)]
Omit needless definition of REFERENCE-BARRIER in test-ephemeron.scm.

Due to a bug in the microcode's environment operations, this
definition, which should be harmless, actually renders the tests
unrunnable because it makes REFERENCE-BARRIER spin in an infinite
loop.

14 years agoEliminate losing bisection crock in find_block_address.
Taylor R Campbell [Thu, 19 Aug 2010 02:55:13 +0000 (02:55 +0000)]
Eliminate losing bisection crock in find_block_address.

This wasted several hours of my day in exchange for several
milliseconds of time (`on average') searching through the heap
after a trap that will trigger an interactive debugger anyway
and sit waiting for I/O.

14 years agoFix plausible_cc_block_p some more.
Taylor R Campbell [Thu, 19 Aug 2010 02:46:02 +0000 (02:46 +0000)]
Fix plausible_cc_block_p some more.

Now it detects COLUMN->Y in edwin/bufwmc.scm.

14 years agoAdd a couple more consts to debug.c.
Taylor R Campbell [Wed, 18 Aug 2010 16:30:25 +0000 (16:30 +0000)]
Add a couple more consts to debug.c.

14 years agoMerge branch 'master' of ssh://git.sv.gnu.org/srv/git/mit-scheme
Taylor R Campbell [Wed, 18 Aug 2010 16:19:14 +0000 (16:19 +0000)]
Merge branch 'master' of ssh://git.sv.gnu.org/srv/git/mit-scheme

14 years agoMerge branch 'master' of ssh://git.sv.gnu.org/srv/git/mit-scheme
Joe Marshall [Wed, 18 Aug 2010 00:02:48 +0000 (17:02 -0700)]
Merge branch 'master' of ssh://git.sv.gnu.org/srv/git/mit-scheme

14 years agoAdd appropriate const qualifiers for anal compiler.
Joe Marshall [Wed, 18 Aug 2010 00:02:05 +0000 (17:02 -0700)]
Add appropriate const qualifiers for anal compiler.

14 years agoRemove spurious ignore declaration in i386 GENERATE/CLOSURE-HEADER.
Taylor R Campbell [Tue, 17 Aug 2010 19:05:16 +0000 (19:05 +0000)]
Remove spurious ignore declaration in i386 GENERATE/CLOSURE-HEADER.

14 years agoImplement and document SET-EPHEMERON-KEY!.
Taylor R Campbell [Tue, 17 Aug 2010 18:46:26 +0000 (18:46 +0000)]
Implement and document SET-EPHEMERON-KEY!.

14 years agoNew procedure REFERENCE-BARRIER.
Taylor R Campbell [Mon, 16 Aug 2010 22:51:45 +0000 (22:51 +0000)]
New procedure REFERENCE-BARRIER.

(REFERENCE-BARRIER <x>) guarantees that the garbage collector will
assume <x> to be live at least until the call to REFERENCE-BARRIER,
if control can ever reach it.

This is implemented as an alias for the identity procedure currently,
but a more efficient implementation not involving a general procedure
call is conceivable for the future.

14 years agoIgnore out-of-date uncompressed debugging info files.
Taylor R Campbell [Fri, 13 Aug 2010 20:58:42 +0000 (20:58 +0000)]
Ignore out-of-date uncompressed debugging info files.

Fixes

(load "x")
(pp foo)
;Output: (named-lambda (foo x y z) ...)

;; Edit x.scm and recompile.

(load "x")
(pp foo)
;Output: #[compiled-procedure foo ...]

14 years agoNew stack-sampling profiler.
Taylor R Campbell [Fri, 13 Aug 2010 20:25:58 +0000 (20:25 +0000)]
New stack-sampling profiler.

For usage, see runtime/stack-sample.scm.  May be worthwhile to write
documentation in the user manual.

This is *not* a replacement for a PC-sampler, which can give
information that is more precise at one level and less precise at
another level.  See the comments for details.

14 years agoRework the hash table entry abstraction.
Taylor R Campbell [Fri, 13 Aug 2010 20:18:56 +0000 (20:18 +0000)]
Rework the hash table entry abstraction.

This simplifies some of the code (at the expense of a longer
definition for the abstraction leading to a longer hashtb.scm
altogether), and makes it less prone to mistakes with using the
keys and data of entries without checking their validity -- which
will matter especially for hash tables with ephemeron entries when
those are implemented.

Check the results of the key hash table function.  Sprinkle some
guarantees throughout the code.  Disable type and range checks in
the hash table methods, where it is safe to do so.

With type and range checks still enabled, performance on strong eq
and eqv hash tables is no different from what it was last week.
Performance on weak hash tables is ever so slightly worse, but that
is because weak hash tables were incorrect before.

New tests check for some regressions.

14 years agoProtect each use of ENTRY-{KEY,DATUM} in hashtb.scm by ENTRY-VALID?.
Taylor R Campbell [Fri, 13 Aug 2010 04:22:46 +0000 (04:22 +0000)]
Protect each use of ENTRY-{KEY,DATUM} in hashtb.scm by ENTRY-VALID?.

14 years agoFix SRFI 69 HASH-TABLE-FOLD.
Taylor R Campbell [Thu, 12 Aug 2010 22:29:28 +0000 (22:29 +0000)]
Fix SRFI 69 HASH-TABLE-FOLD.

The specification makes no mention of any constraint that the combine
procedure not update the hash table, so we must be prepared for that
case.  The old definition for HASH-TABLE-FOLD now has the new name
%HASH-TABLE-FOLD, used internally by the procedures that need to fold
but need not update the hash table while doing so.

14 years agoRestore warning as per Taylor.
Joe Marshall [Thu, 12 Aug 2010 22:00:06 +0000 (15:00 -0700)]
Restore warning as per Taylor.

14 years agoAdd declarations to silence warnings.
Joe Marshall [Wed, 11 Aug 2010 16:45:10 +0000 (09:45 -0700)]
Add declarations to silence warnings.

14 years agoAdd declaration to silence warning.
Joe Marshall [Wed, 11 Aug 2010 16:43:17 +0000 (09:43 -0700)]
Add declaration to silence warning.

14 years agoDocument ephemerons.
Taylor R Campbell [Tue, 10 Aug 2010 19:58:30 +0000 (19:58 +0000)]
Document ephemerons.

14 years agoImplement ephemerons.
Taylor R Campbell [Tue, 10 Aug 2010 18:43:44 +0000 (18:43 +0000)]
Implement ephemerons.

Ephemerons are like weak pairs, except the datum is dropped if the
key is dropped, and references to the key through the datum don't
count if the only references to the datum are through the ephemeron.
In other words, the weak references to the key and datum are dropped
iff the key can be proven dead; conversely, the references to the key
and datum are preserved iff somebody else cares about the key.

14 years agoDeclare IGNORABLE NB to silence warning.
Joe Marshall [Mon, 9 Aug 2010 19:55:47 +0000 (12:55 -0700)]
Declare IGNORABLE NB to silence warning.

14 years agoMissed some vestiges of archaic microcode state space support.
Taylor R Campbell [Mon, 9 Aug 2010 17:45:10 +0000 (17:45 +0000)]
Missed some vestiges of archaic microcode state space support.

14 years agoEliminate some unused return codes.
Taylor R Campbell [Mon, 9 Aug 2010 17:38:57 +0000 (17:38 +0000)]
Eliminate some unused return codes.

14 years agoEliminate all traces of the archaic microcode state space support.
Taylor R Campbell [Mon, 9 Aug 2010 16:47:03 +0000 (16:47 +0000)]
Eliminate all traces of the archaic microcode state space support.

14 years agoSet -u in the setup scripts and make them more robust to interrupts.
Taylor R Campbell [Mon, 9 Aug 2010 16:44:03 +0000 (16:44 +0000)]
Set -u in the setup scripts and make them more robust to interrupts.

14 years agoCheck for termcap.h too.
Taylor R Campbell [Mon, 9 Aug 2010 16:36:32 +0000 (16:36 +0000)]
Check for termcap.h too.

Assume that term.h or termcap.h defines BC, UP, PC, & ospeed.

Work around !*@#@^!*#%!^&$@!%# stupidity in NetBSD with ospeed.

14 years agoMove the check for termcap-related headers.
Taylor R Campbell [Sun, 8 Aug 2010 02:56:56 +0000 (02:56 +0000)]
Move the check for termcap-related headers.

This puts the warning messages about emulating termcap or tparm
closer to the checks, which makes configure's output make a trifle
more sense.

14 years agoAdd configure option `--with-termcap=LIB' to select termcap library.
Taylor R Campbell [Sun, 8 Aug 2010 01:53:07 +0000 (01:53 +0000)]
Add configure option `--with-termcap=LIB' to select termcap library.

LIB=no disables any termcap library (causing the use of the built-in
termcap emulation); LIB=yes, the default, makes configure choose
whatever termcap library looks best.

I wanted to go further and make the termcap primitives dynamically
loadable, so that the compile-time choice of termcap library can be
made just for some prtermcap.so module separately from the libraries
against which the microcode is linked, but uxtty.c uses termcap for
screen-clearing and window-sizing.

If ^L worked everywhere to clear the screen, and TIOCGWINSZ worked
everywhere to find the screen dimensions, then we could get rid of
those uses of termcap and move it off to a module.  But alas, that is
not the case.  E.g., ^L doesn't clear the screen in screen.

14 years agoFix i386 code generated for flonum rounding primitives.
Taylor R Campbell [Fri, 6 Aug 2010 01:36:09 +0000 (01:36 +0000)]
Fix i386 code generated for flonum rounding primitives.

The default has not been round-to-even since primitives were added to
change it, but the generated code assumed it was.

Remember to run at least a two-stage build so that the runtime is
compiled with the new compiler.

Before:

(flo:with-rounding-mode 'TOWARD-ZERO (lambda () (flo:ceiling 1.2)))
;Value: 1.

After:

(flo:with-rounding-mode 'TOWARD-ZERO (lambda () (flo:ceiling 1.2)))
;Value: 2.

14 years agoEmulate C99 fenv.h on amd64 through the MXCSR.
Taylor R Campbell [Fri, 6 Aug 2010 01:18:01 +0000 (01:18 +0000)]
Emulate C99 fenv.h on amd64 through the MXCSR.

14 years agoEmulate C99 fenv.h on i386 through the i387 control word.
Taylor R Campbell [Fri, 6 Aug 2010 01:17:07 +0000 (01:17 +0000)]
Emulate C99 fenv.h on i386 through the i387 control word.

14 years agoEmulate C99 fenv.h with BSD ieeefp.h if necessary.
Taylor R Campbell [Fri, 6 Aug 2010 01:15:30 +0000 (01:15 +0000)]
Emulate C99 fenv.h with BSD ieeefp.h if necessary.

14 years agoNew procedures FLO:EXPM1 and FLO:LOG1P just like libm's.
Taylor R Campbell [Fri, 6 Aug 2010 00:38:40 +0000 (00:38 +0000)]
New procedures FLO:EXPM1 and FLO:LOG1P just like libm's.

Defined only on an interval about 0 of radius 1/log 2 and 1/sqrt 2,
respectively; intended for computing (exp x) - 1 and log (1 + x) for
very small x with high precision, unlike FLO:EXP and FLO:LOG.

14 years agoBe slightly more consistent about references to MIT_SCHEME_EXE.
Taylor R Campbell [Thu, 5 Aug 2010 18:57:53 +0000 (18:57 +0000)]
Be slightly more consistent about references to MIT_SCHEME_EXE.

It is to be interpreted as a pathname, provided that no character in
it be a make meta-character, or a shell meta-character that has
meaning within double-quotes.  It shouldn't have such constraints,
but Unix sucks.  To set the library path, use MITSCHEME_LIBRARY_PATH
rather than sticking a `--library' argument in MIT_SCHEME_EXE.

14 years agoEnsure that signal handlers see the C stack, not the Scheme stack.
Taylor R Campbell [Thu, 5 Aug 2010 17:15:17 +0000 (17:15 +0000)]
Ensure that signal handlers see the C stack, not the Scheme stack.

Do this by wrapping all the signal handlers in stubs that call an
assembly hook to make the stack pointer point into the C stack rather
than the Scheme stack if necessary.  To indicate that this is not
necessary, define SIGNAL_HANDLERS_CAN_USE_SCHEME_STACK.  For now, I'm
leaving that undefined by default, because it is the safer option.

This solves a problem on operating systems such as NetBSD that store
the current pthread identifier in the stack pointer.  When Scheme's
signal handler calls routines that are pthread cancellation points,
such as waitpid, they try to find the current pthread identifier in a
stack pointer that points off into oblivion (into Scheme's stack) and
promptly crash -- or, worse, trigger SIGSEGV, to be handled by a
signal handler while the stack pointer still points into Scheme's
stack, with the same problem.

I am told that this will be fixed in NetBSD 6 (since it interferes
not just with Scheme but also with sigaltstack, makecontext, and
anything else that wants to mess with the stack pointer), but only on
i386 and amd64 for certain, and in any case, this workaround will
work on any other systems that try to use the same trick to store the
current pthread identifier, of which I believe there may be several.
(E.g., older versions of GNU/Linux with LinuxThreads.)

14 years agoUse intmax and uintmax to support 64-bit off_t, time_t, &c.
Taylor R Campbell [Tue, 3 Aug 2010 22:35:33 +0000 (22:35 +0000)]
Use intmax and uintmax to support 64-bit off_t, time_t, &c.

Eliminate BIGNUM_NO_ULONG.  Twenty years ago it may have made sense;
now too much of the system relies on having unsigned longs for it to
matter.

New routines convert between integers and intmax/uintmax.  The old
ones for long/unsigned long are still there, because they are likely
to be much faster on 32-bit systems.  Only a few uses of long have
been replaced by intmax -- the ones where it was obvious we were
converting between time_t, off_t, ino_t, &c., and long.  Others may
still be there.  Before:

(file-length "fnord")
;Value: 1235

After:

(file-length "fnord")
;Value: 4294968531

(`fnord' was created by seeking to byte 2^32 + 1234 or something and
writing a single byte there.)

14 years agoDon't delete runtime.com from the distribution.
Chris Hanson [Wed, 28 Jul 2010 06:53:46 +0000 (23:53 -0700)]
Don't delete runtime.com from the distribution.

14 years agoMerge branch 'master' of git.sv.gnu.org:/srv/git/mit-scheme
Chris Hanson [Wed, 28 Jul 2010 05:27:12 +0000 (22:27 -0700)]
Merge branch 'master' of git.sv.gnu.org:/srv/git/mit-scheme

14 years agoImplement SYMBOL>?
Joe Marshall [Tue, 27 Jul 2010 19:33:58 +0000 (12:33 -0700)]
Implement SYMBOL>?

14 years agoDon't make lib/lib a symlink to ../microcode; this breaks liarc.
Taylor R Campbell [Tue, 27 Jul 2010 16:52:43 +0000 (16:52 +0000)]
Don't make lib/lib a symlink to ../microcode; this breaks liarc.

14 years agoProperly fix handling of pstring.
Chris Hanson [Tue, 27 Jul 2010 05:15:40 +0000 (22:15 -0700)]
Properly fix handling of pstring.

14 years agoFix typo.
Chris Hanson [Tue, 27 Jul 2010 05:01:52 +0000 (22:01 -0700)]
Fix typo.

14 years agoFix microcode's `--version' output.
Taylor R Campbell [Tue, 27 Jul 2010 01:56:36 +0000 (01:56 +0000)]
Fix microcode's `--version' output.

Write a newline, and force console output.

14 years agoFix bug: change to MODULE_LDFLAGS broke liarc-ld on MacOS.
Chris Hanson [Mon, 26 Jul 2010 07:18:36 +0000 (00:18 -0700)]
Fix bug: change to MODULE_LDFLAGS broke liarc-ld on MacOS.

14 years agoNuke trailing whitespace.
Chris Hanson [Mon, 26 Jul 2010 07:17:34 +0000 (00:17 -0700)]
Nuke trailing whitespace.

14 years agoBroaden handling of pstring to accept NIL.
Chris Hanson [Sun, 25 Jul 2010 07:54:24 +0000 (00:54 -0700)]
Broaden handling of pstring to accept NIL.

14 years agoUse _init and etext on NetBSD to find the text segment's bounds.
Taylor R Campbell [Fri, 23 Jul 2010 18:33:32 +0000 (18:33 +0000)]
Use _init and etext on NetBSD to find the text segment's bounds.

14 years agoEliminate vestiges of i386 code from cmpintmd/x86-64.h.
Taylor R Campbell [Fri, 23 Jul 2010 02:30:25 +0000 (02:30 +0000)]
Eliminate vestiges of i386 code from cmpintmd/x86-64.h.

14 years agoUnmask IEEE 754 floating-point exceptions on x86-64.
Taylor R Campbell [Fri, 23 Jul 2010 01:28:59 +0000 (01:28 +0000)]
Unmask IEEE 754 floating-point exceptions on x86-64.

Should this instead be part of Scheme's dynamic environment, like the
floating-point rounding mode?

14 years agoRelax plausible_cc_block_p.
Taylor R Campbell [Thu, 22 Jul 2010 23:12:37 +0000 (23:12 +0000)]
Relax plausible_cc_block_p.

Some leaf procedures and continuations do not have GC trap prefixes,
so don't require the block in question to have one.

On i386, this makes the trap handler successfully figure out where it
is in (FIX:QUOTIENT 1 0).  FIX:QUOTIENT is a leaf procedure, unlike
FLO:/, although perhaps FIX:QUOTIENT ought to do checks and defer to
the microcode primitive like FLO:/.

14 years agoMerge branch 'master' of ssh://git.sv.gnu.org/srv/git/mit-scheme
Taylor R Campbell [Thu, 22 Jul 2010 21:16:08 +0000 (21:16 +0000)]
Merge branch 'master' of ssh://git.sv.gnu.org/srv/git/mit-scheme

14 years agoReorganize Linux section of uxtrap.h and add x86-64 support.
Taylor R Campbell [Thu, 22 Jul 2010 20:25:19 +0000 (20:25 +0000)]
Reorganize Linux section of uxtrap.h and add x86-64 support.

Also add signal codes for SIGSEGV, SIGBUS, and SIGTRAP.

14 years agoExploit common mcontext structure shared between NetBSD ports.
Taylor R Campbell [Thu, 22 Jul 2010 20:23:04 +0000 (20:23 +0000)]
Exploit common mcontext structure shared between NetBSD ports.

14 years agoOmit explicit disabling of trap recovery on x86-64.
Taylor R Campbell [Thu, 22 Jul 2010 20:20:53 +0000 (20:20 +0000)]
Omit explicit disabling of trap recovery on x86-64.

There are still no platforms that support it, but it doesn't need to
be explicitly disabled.

14 years agoRestore the classical exit message.
Joe Marshall [Thu, 22 Jul 2010 20:16:12 +0000 (13:16 -0700)]
Restore the classical exit message.

14 years agoEnable trap recovery on NetBSD.
Taylor R Campbell [Thu, 22 Jul 2010 19:51:14 +0000 (19:51 +0000)]
Enable trap recovery on NetBSD.

Not really tested, but this triggers only when you're already
screwed, so enabling trap recovery probably won't make anything
worse.

14 years agoImprove trap handling under NetBSD.
Taylor R Campbell [Thu, 22 Jul 2010 17:28:07 +0000 (17:28 +0000)]
Improve trap handling under NetBSD.

14 years agoKludgily use a few unsigned chars in uxutil.c for tolower &c.
Taylor R Campbell [Thu, 22 Jul 2010 17:24:45 +0000 (17:24 +0000)]
Kludgily use a few unsigned chars in uxutil.c for tolower &c.

14 years agoAdd block to access so we can integrate accesses in argument position.
Joe Marshall [Tue, 13 Jul 2010 18:40:35 +0000 (11:40 -0700)]
Add block to access so we can integrate accesses in argument position.

14 years agoMerge branch 'master' of ssh://git.savannah.gnu.org/srv/git/mit-scheme
Joe Marshall [Mon, 12 Jul 2010 22:57:56 +0000 (15:57 -0700)]
Merge branch 'master' of ssh://git.savannah.gnu.org/srv/git/mit-scheme

14 years agoFix typos caused by cut and paste.
Joe Marshall [Mon, 12 Jul 2010 22:57:34 +0000 (15:57 -0700)]
Fix typos caused by cut and paste.

14 years agoRemove undefined binding.
Joe Marshall [Mon, 12 Jul 2010 22:54:20 +0000 (15:54 -0700)]
Remove undefined binding.

14 years agoAdd some guarantees to scode constructors.
Taylor R Campbell [Mon, 12 Jul 2010 16:25:24 +0000 (16:25 +0000)]
Add some guarantees to scode constructors.

14 years agoSimplify lookup.c's interface.
Taylor R Campbell [Mon, 12 Jul 2010 16:08:43 +0000 (16:08 +0000)]
Simplify lookup.c's interface.

Environment operations now take only symbols, and check.  The
interpreter now extracts symbols from variables, not lookup.c.

This prevents non-symbols from passing into strengthen_symbol and
weaken_symbol in intern.c, which would barf on them.

14 years agoStrengthen or weaken only interned symbols. Ignore uninterned ones.
Taylor R Campbell [Mon, 12 Jul 2010 15:40:16 +0000 (15:40 +0000)]
Strengthen or weaken only interned symbols.  Ignore uninterned ones.

14 years agoAdd O(1) ADD-TO-POPULATION!/UNSAFE to the runtime (unexported).
Taylor R Campbell [Wed, 7 Jul 2010 19:34:05 +0000 (19:34 +0000)]
Add O(1) ADD-TO-POPULATION!/UNSAFE to the runtime (unexported).

This does not check whether the population already holds the object
to be added; hence it is unsafe.

Change MAKE-1D-TABLE and MAKE-THREAD to use it: newly allocated
objects are guaranteed not to be in the population.

14 years agoFix bug in INTEGER->FLONUM primitive on 64-bit systems.
Taylor R Campbell [Wed, 7 Jul 2010 18:50:37 +0000 (18:50 +0000)]
Fix bug in INTEGER->FLONUM primitive on 64-bit systems.

Not all fixnums can be converted losslessly into flonums.

14 years agoWork around a buggy IMAP server that returns bogus UNSEEN counts.
Taylor R Campbell [Sun, 27 Jun 2010 22:18:10 +0000 (22:18 +0000)]
Work around a buggy IMAP server that returns bogus UNSEEN counts.

14 years agoClean up top level controller. Don't use Scheme packages as a
Chris Hanson [Sun, 27 Jun 2010 08:33:25 +0000 (01:33 -0700)]
Clean up top level controller.  Don't use Scheme packages as a
substitute for Lisp packages; instead use environments.  Implement
support for slime-repl.  Fix broken implementation of apropos.  Hide
restarts and stack frames that aren't relevant to the Emacs user.

14 years agoAdd INDEX matcher since that's so common.
Chris Hanson [Sun, 27 Jun 2010 05:22:58 +0000 (22:22 -0700)]
Add INDEX matcher since that's so common.

14 years agoFix broken implementation of completion.
Chris Hanson [Sat, 26 Jun 2010 09:14:24 +0000 (02:14 -0700)]
Fix broken implementation of completion.

14 years agoAdd suggested elisp code for using this.
Chris Hanson [Sat, 26 Jun 2010 08:50:16 +0000 (01:50 -0700)]
Add suggested elisp code for using this.