Commit [0975e0] Maximize Restore History

0.7.13.30-cast.4: (updated to 0.7.13.30)

* Small steps towards ANSI VALUES type specifier:
** removed checks for VALUES-TYPE-{KEYP,KEYWORDS};
** &OPTIONAL type in VALUES does not automatically allow NIL;
** object type <type> in a values context \approx (VALUES &OPTIONAL
<type> &REST T); DEFKNOWN uses the old meaning;

* added type checking for single value and MV-BIND receivers;
* THE coerces the asserted type to VALUES;
* fixed order of CAST LTN-annotating;

Alexey Dejneka Alexey Dejneka 2003-03-20

1 2 3 .. 8 > >> (Page 1 of 8)
added contrib/sb-executable
added contrib/sb-executable/Makefile
added contrib/sb-executable/sb-executable.lisp
added contrib/sb-rotate-byte
added contrib/sb-rotate-byte/Makefile
added contrib/sb-rotate-byte/README
added contrib/sb-rotate-byte/compiler.lisp
added contrib/sb-rotate-byte/package.lisp
added contrib/sb-rotate-byte/rotate-byte-tests.lisp
added contrib/sb-rotate-byte/rotate-byte.lisp
added contrib/sb-rotate-byte/sb-rotate-byte.asd
added contrib/sb-rotate-byte/x86-vm.lisp
added src/compiler/generic/array.lisp
added src/compiler/generic/late-nlx.lisp
added src/runtime/gencgc-alloc-region.h
added tests/interface.impure.lisp
changed BUGS
changed NEWS
changed TODO.cast
changed binary-distribution.sh
changed build-order.lisp-expr
changed clean.sh
changed contrib
changed contrib/asdf
changed contrib/asdf/Makefile
changed contrib/asdf/asdf.lisp
changed contrib/sb-aclrepl
changed contrib/sb-aclrepl/sb-aclrepl.lisp
changed contrib/sb-bsd-sockets
changed contrib/sb-bsd-sockets/Makefile
changed contrib/sb-bsd-sockets/constants.lisp
changed contrib/sb-bsd-sockets/defpackage.lisp
changed contrib/sb-bsd-sockets/sb-bsd-sockets.asd
changed contrib/sb-bsd-sockets/tests.lisp
changed contrib/vanilla-module.mk
changed doc
changed doc/compiler.sgml
changed doc/sbcl-html.dsl
changed doc/sbcl.1
changed install.sh
changed make-genesis-2.sh
changed make-host-1.sh
changed make-host-2.sh
changed make-target-2.sh
changed make-target-contrib.sh
changed package-data-list.lisp-expr
changed slam.sh
changed src
changed src/code
changed src/code/array.lisp
changed src/code/class.lisp
changed src/code/coerce.lisp
changed src/code/condition.lisp
changed src/code/debug.lisp
changed src/code/defboot.lisp
changed src/code/describe.lisp
changed src/code/early-extensions.lisp
changed src/code/early-fasl.lisp
changed src/code/early-type.lisp
changed src/code/eval.lisp
changed src/code/fd-stream.lisp
changed src/code/foreign.lisp
changed src/code/gc.lisp
changed src/code/interr.lisp
changed src/code/late-type.lisp
changed src/code/list.lisp
changed src/code/loop.lisp
changed src/code/macros.lisp
changed src/code/pred.lisp
changed src/code/purify.lisp
changed src/code/room.lisp
changed src/code/run-program.lisp
changed src/code/save.lisp
changed src/code/seq.lisp
changed src/code/serve-event.lisp
changed src/code/stream.lisp
changed src/code/sxhash.lisp
changed src/code/symbol.lisp
changed src/code/target-alieneval.lisp
changed src/code/target-error.lisp
changed src/code/target-sxhash.lisp
changed src/code/target-type.lisp
changed src/code/toplevel.lisp
changed src/code/type-class.lisp
changed src/code/typep.lisp
changed src/cold
changed src/cold/defun-load-or-cload-xcompiler.lisp
changed src/cold/shared.lisp
changed src/cold/slam.lisp
changed src/cold/snapshot.lisp
changed src/cold/warm.lisp
changed src/compiler
changed src/compiler/alpha
changed src/compiler/alpha/nlx.lisp
changed src/compiler/array-tran.lisp
changed src/compiler/checkgen.lisp
changed src/compiler/constraint.lisp
changed src/compiler/debug.lisp
changed src/compiler/fndb.lisp
changed src/compiler/generic
changed src/compiler/generic/early-objdef.lisp
changed src/compiler/generic/genesis.lisp
changed src/compiler/generic/interr.lisp
changed src/compiler/generic/late-type-vops.lisp
changed src/compiler/generic/primtype.lisp
changed src/compiler/generic/vm-fndb.lisp
changed src/compiler/generic/vm-tran.lisp
changed src/compiler/generic/vm-type.lisp
changed src/compiler/generic/vm-typetran.lisp
changed src/compiler/hppa
changed src/compiler/hppa/nlx.lisp
changed src/compiler/ir1-translators.lisp
changed src/compiler/ir1opt.lisp
changed src/compiler/ir1tran.lisp
changed src/compiler/ir1util.lisp
changed src/compiler/ir2tran.lisp
changed src/compiler/locall.lisp
changed src/compiler/ltn.lisp
changed src/compiler/macros.lisp
changed src/compiler/mips
changed src/compiler/mips/nlx.lisp
changed src/compiler/node.lisp
changed src/compiler/ppc
changed src/compiler/ppc/nlx.lisp
changed src/compiler/seqtran.lisp
changed src/compiler/sparc
changed src/compiler/sparc/insts.lisp
changed src/compiler/sparc/nlx.lisp
changed src/compiler/srctran.lisp
changed src/compiler/target-disassem.lisp
changed src/compiler/typetran.lisp
changed src/compiler/x86
changed src/compiler/x86/macros.lisp
changed src/compiler/x86/nlx.lisp
changed src/pcl
changed src/pcl/boot.lisp
changed src/pcl/braid.lisp
changed src/pcl/defclass.lisp
changed src/pcl/dfun.lisp
changed src/pcl/dlisp.lisp
changed src/pcl/dlisp2.lisp
changed src/pcl/documentation.lisp
changed src/pcl/early-low.lisp
changed src/pcl/slot-name.lisp
changed src/pcl/slots-boot.lisp
changed src/pcl/std-class.lisp
changed src/pcl/vector.lisp
changed src/pcl/walk.lisp
changed src/runtime
changed src/runtime/Config.alpha-linux
changed src/runtime/GNUmakefile
changed src/runtime/alloc.c
changed src/runtime/backtrace.c
changed src/runtime/breakpoint.c
changed src/runtime/cheneygc.c
changed src/runtime/coreparse.c
changed src/runtime/dynbind.c
changed src/runtime/gc-common.c
changed src/runtime/gc-internal.h
changed src/runtime/gc.h
changed src/runtime/gencgc-internal.h
changed src/runtime/gencgc.c
changed src/runtime/globals.c
changed src/runtime/interr.c
changed src/runtime/interrupt.c
changed src/runtime/mips-assem.S
changed src/runtime/monitor.c
changed src/runtime/parse.c
changed src/runtime/print.c
changed src/runtime/purify.c
changed src/runtime/run-program.c
changed src/runtime/runtime.c
changed src/runtime/save.c
changed src/runtime/search.c
changed src/runtime/sparc-assem.S
changed src/runtime/x86-arch.c
changed src/runtime/x86-assem.S
changed tests
changed tests/arith.pure.lisp
changed tests/array.pure.lisp
changed tests/clos.impure.lisp
changed tests/compiler-1.impure-cload.lisp
changed tests/compiler.impure.lisp
changed tests/compiler.pure.lisp
changed tests/eval.impure.lisp
changed tests/hash.impure.lisp
changed tests/interface.pure.lisp
changed tests/list.pure.lisp
changed tests/mop.impure.lisp
changed tests/stream.pure.lisp
changed tests/type.impure.lisp
changed tests/type.pure.lisp
changed version.lisp-expr
copied contrib/sb-bsd-sockets/unix.lisp -> contrib/sb-bsd-sockets/local.lisp
contrib/sb-executable/Makefile Diff Switch to side-by-side view
Loading...
contrib/sb-executable/sb-executable.lisp Diff Switch to side-by-side view
Loading...
contrib/sb-rotate-byte/Makefile Diff Switch to side-by-side view
Loading...
contrib/sb-rotate-byte/README Diff Switch to side-by-side view
Loading...
contrib/sb-rotate-byte/compiler.lisp Diff Switch to side-by-side view
Loading...
contrib/sb-rotate-byte/package.lisp Diff Switch to side-by-side view
Loading...
contrib/sb-rotate-byte/rotate-byte-tests.lisp Diff Switch to side-by-side view
Loading...
contrib/sb-rotate-byte/rotate-byte.lisp Diff Switch to side-by-side view
Loading...
contrib/sb-rotate-byte/sb-rotate-byte.asd Diff Switch to side-by-side view
Loading...
contrib/sb-rotate-byte/x86-vm.lisp Diff Switch to side-by-side view
Loading...
src/compiler/generic/array.lisp Diff Switch to side-by-side view
Loading...
src/compiler/generic/late-nlx.lisp Diff Switch to side-by-side view
Loading...
src/runtime/gencgc-alloc-region.h Diff Switch to side-by-side view
Loading...
tests/interface.impure.lisp Diff Switch to side-by-side view
Loading...
BUGS Diff Switch to side-by-side view
Loading...
NEWS Diff Switch to side-by-side view
Loading...
TODO.cast Diff Switch to side-by-side view
Loading...
binary-distribution.sh Diff Switch to side-by-side view
Loading...
build-order.lisp-expr Diff Switch to side-by-side view
Loading...
clean.sh Diff Switch to side-by-side view
Loading...
contrib
Directory.
contrib/asdf
Directory.
contrib/asdf/Makefile Diff Switch to side-by-side view
Loading...
contrib/asdf/asdf.lisp Diff Switch to side-by-side view
Loading...
contrib/sb-aclrepl
Directory.
contrib/sb-aclrepl/sb-aclrepl.lisp Diff Switch to side-by-side view
Loading...
contrib/sb-bsd-sockets/Makefile Diff Switch to side-by-side view
Loading...
contrib/sb-bsd-sockets/constants.lisp Diff Switch to side-by-side view
Loading...
contrib/sb-bsd-sockets/defpackage.lisp Diff Switch to side-by-side view
Loading...
contrib/sb-bsd-sockets/sb-bsd-sockets.asd Diff Switch to side-by-side view
Loading...
contrib/sb-bsd-sockets/tests.lisp Diff Switch to side-by-side view
Loading...
contrib/vanilla-module.mk Diff Switch to side-by-side view
Loading...
doc
Directory.
doc/compiler.sgml Diff Switch to side-by-side view
Loading...
doc/sbcl-html.dsl Diff Switch to side-by-side view
Loading...
doc/sbcl.1 Diff Switch to side-by-side view
Loading...
install.sh Diff Switch to side-by-side view
Loading...
make-genesis-2.sh Diff Switch to side-by-side view
Loading...
make-host-1.sh Diff Switch to side-by-side view
Loading...
make-host-2.sh Diff Switch to side-by-side view
Loading...
make-target-2.sh Diff Switch to side-by-side view
Loading...
make-target-contrib.sh Diff Switch to side-by-side view
Loading...
package-data-list.lisp-expr Diff Switch to side-by-side view
Loading...
slam.sh Diff Switch to side-by-side view
Loading...
src
Directory.
src/code
Directory.
src/code/array.lisp Diff Switch to side-by-side view
Loading...
src/code/class.lisp Diff Switch to side-by-side view
Loading...
src/code/coerce.lisp Diff Switch to side-by-side view
Loading...
src/code/condition.lisp Diff Switch to side-by-side view
Loading...
src/code/debug.lisp Diff Switch to side-by-side view
Loading...
src/code/defboot.lisp Diff Switch to side-by-side view
Loading...
src/code/describe.lisp Diff Switch to side-by-side view
Loading...
src/code/early-extensions.lisp Diff Switch to side-by-side view
Loading...
src/code/early-fasl.lisp Diff Switch to side-by-side view
Loading...
src/code/early-type.lisp Diff Switch to side-by-side view
Loading...
src/code/eval.lisp Diff Switch to side-by-side view
Loading...
src/code/fd-stream.lisp Diff Switch to side-by-side view
Loading...
src/code/foreign.lisp Diff Switch to side-by-side view
Loading...
src/code/gc.lisp Diff Switch to side-by-side view
Loading...
src/code/interr.lisp Diff Switch to side-by-side view
Loading...
src/code/late-type.lisp Diff Switch to side-by-side view
Loading...
src/code/list.lisp Diff Switch to side-by-side view
Loading...
src/code/loop.lisp Diff Switch to side-by-side view
Loading...
src/code/macros.lisp Diff Switch to side-by-side view
Loading...
src/code/pred.lisp Diff Switch to side-by-side view
Loading...
src/code/purify.lisp Diff Switch to side-by-side view
Loading...
src/code/room.lisp Diff Switch to side-by-side view
Loading...
src/code/run-program.lisp Diff Switch to side-by-side view
Loading...
src/code/save.lisp Diff Switch to side-by-side view
Loading...
src/code/seq.lisp Diff Switch to side-by-side view
Loading...
src/code/serve-event.lisp Diff Switch to side-by-side view
Loading...
src/code/stream.lisp Diff Switch to side-by-side view
Loading...
src/code/sxhash.lisp Diff Switch to side-by-side view
Loading...
src/code/symbol.lisp Diff Switch to side-by-side view
Loading...
src/code/target-alieneval.lisp Diff Switch to side-by-side view
Loading...
src/code/target-error.lisp Diff Switch to side-by-side view
Loading...
src/code/target-sxhash.lisp Diff Switch to side-by-side view
Loading...
src/code/target-type.lisp Diff Switch to side-by-side view
Loading...
src/code/toplevel.lisp Diff Switch to side-by-side view
Loading...
src/code/type-class.lisp Diff Switch to side-by-side view
Loading...
src/code/typep.lisp Diff Switch to side-by-side view
Loading...
src/cold
Directory.
src/cold/defun-load-or-cload-xcompiler.lisp Diff Switch to side-by-side view
Loading...
src/cold/shared.lisp Diff Switch to side-by-side view
Loading...
src/cold/slam.lisp Diff Switch to side-by-side view
Loading...
src/cold/snapshot.lisp Diff Switch to side-by-side view
Loading...
src/cold/warm.lisp Diff Switch to side-by-side view
Loading...
src/compiler
Directory.
src/compiler/alpha
Directory.
src/compiler/alpha/nlx.lisp Diff Switch to side-by-side view
Loading...
src/compiler/array-tran.lisp Diff Switch to side-by-side view
Loading...
src/compiler/checkgen.lisp Diff Switch to side-by-side view
Loading...
src/compiler/constraint.lisp Diff Switch to side-by-side view
Loading...
src/compiler/debug.lisp Diff Switch to side-by-side view
Loading...
src/compiler/fndb.lisp Diff Switch to side-by-side view
Loading...
src/compiler/generic/early-objdef.lisp Diff Switch to side-by-side view
Loading...
src/compiler/generic/genesis.lisp Diff Switch to side-by-side view
Loading...
src/compiler/generic/interr.lisp Diff Switch to side-by-side view
Loading...
src/compiler/generic/late-type-vops.lisp Diff Switch to side-by-side view
Loading...
src/compiler/generic/primtype.lisp Diff Switch to side-by-side view
Loading...
src/compiler/generic/vm-fndb.lisp Diff Switch to side-by-side view
Loading...
src/compiler/generic/vm-tran.lisp Diff Switch to side-by-side view
Loading...
src/compiler/generic/vm-type.lisp Diff Switch to side-by-side view
Loading...
src/compiler/generic/vm-typetran.lisp Diff Switch to side-by-side view
Loading...
src/compiler/hppa
Directory.
src/compiler/hppa/nlx.lisp Diff Switch to side-by-side view
Loading...
src/compiler/ir1-translators.lisp Diff Switch to side-by-side view
Loading...
src/compiler/ir1opt.lisp Diff Switch to side-by-side view
Loading...
src/compiler/ir1tran.lisp Diff Switch to side-by-side view
Loading...
src/compiler/ir1util.lisp Diff Switch to side-by-side view
Loading...
src/compiler/ir2tran.lisp Diff Switch to side-by-side view
Loading...
src/compiler/locall.lisp Diff Switch to side-by-side view
Loading...
src/compiler/ltn.lisp Diff Switch to side-by-side view
Loading...
src/compiler/macros.lisp Diff Switch to side-by-side view
Loading...
src/compiler/mips
Directory.
src/compiler/mips/nlx.lisp Diff Switch to side-by-side view
Loading...
src/compiler/node.lisp Diff Switch to side-by-side view
Loading...
src/compiler/ppc
Directory.
src/compiler/ppc/nlx.lisp Diff Switch to side-by-side view
Loading...
src/compiler/seqtran.lisp Diff Switch to side-by-side view
Loading...
src/compiler/sparc
Directory.
src/compiler/sparc/insts.lisp Diff Switch to side-by-side view
Loading...
src/compiler/sparc/nlx.lisp Diff Switch to side-by-side view
Loading...
src/compiler/srctran.lisp Diff Switch to side-by-side view
Loading...
src/compiler/target-disassem.lisp Diff Switch to side-by-side view
Loading...
src/compiler/typetran.lisp Diff Switch to side-by-side view
Loading...
src/compiler/x86
Directory.
src/compiler/x86/macros.lisp Diff Switch to side-by-side view
Loading...
src/compiler/x86/nlx.lisp Diff Switch to side-by-side view
Loading...
src/pcl
Directory.
src/pcl/boot.lisp Diff Switch to side-by-side view
Loading...
src/pcl/braid.lisp Diff Switch to side-by-side view
Loading...
src/pcl/defclass.lisp Diff Switch to side-by-side view
Loading...
src/pcl/dfun.lisp Diff Switch to side-by-side view
Loading...
src/pcl/dlisp.lisp Diff Switch to side-by-side view
Loading...
src/pcl/dlisp2.lisp Diff Switch to side-by-side view
Loading...
src/pcl/documentation.lisp Diff Switch to side-by-side view
Loading...
src/pcl/early-low.lisp Diff Switch to side-by-side view
Loading...
src/pcl/slot-name.lisp Diff Switch to side-by-side view
Loading...
src/pcl/slots-boot.lisp Diff Switch to side-by-side view
Loading...
src/pcl/std-class.lisp Diff Switch to side-by-side view
Loading...
src/pcl/vector.lisp Diff Switch to side-by-side view
Loading...
src/pcl/walk.lisp Diff Switch to side-by-side view
Loading...
src/runtime
Directory.
src/runtime/Config.alpha-linux Diff Switch to side-by-side view
Loading...
src/runtime/GNUmakefile Diff Switch to side-by-side view
Loading...
src/runtime/alloc.c Diff Switch to side-by-side view
Loading...
src/runtime/backtrace.c Diff Switch to side-by-side view
Loading...
src/runtime/breakpoint.c Diff Switch to side-by-side view
Loading...
src/runtime/cheneygc.c Diff Switch to side-by-side view
Loading...
src/runtime/coreparse.c Diff Switch to side-by-side view
Loading...
src/runtime/dynbind.c Diff Switch to side-by-side view
Loading...
src/runtime/gc-common.c Diff Switch to side-by-side view
Loading...
src/runtime/gc-internal.h Diff Switch to side-by-side view
Loading...
src/runtime/gc.h Diff Switch to side-by-side view
Loading...
src/runtime/gencgc-internal.h Diff Switch to side-by-side view
Loading...
src/runtime/gencgc.c Diff Switch to side-by-side view
Loading...
src/runtime/globals.c Diff Switch to side-by-side view
Loading...
src/runtime/interr.c Diff Switch to side-by-side view
Loading...
src/runtime/interrupt.c Diff Switch to side-by-side view
Loading...
src/runtime/mips-assem.S Diff Switch to side-by-side view
Loading...
src/runtime/monitor.c Diff Switch to side-by-side view
Loading...
src/runtime/parse.c Diff Switch to side-by-side view
Loading...
src/runtime/print.c Diff Switch to side-by-side view
Loading...
src/runtime/purify.c Diff Switch to side-by-side view
Loading...
src/runtime/run-program.c Diff Switch to side-by-side view
Loading...
src/runtime/runtime.c Diff Switch to side-by-side view
Loading...
src/runtime/save.c Diff Switch to side-by-side view
Loading...
src/runtime/search.c Diff Switch to side-by-side view
Loading...
src/runtime/sparc-assem.S Diff Switch to side-by-side view
Loading...
src/runtime/x86-arch.c Diff Switch to side-by-side view
Loading...
src/runtime/x86-assem.S Diff Switch to side-by-side view
Loading...
tests
Directory.
tests/arith.pure.lisp Diff Switch to side-by-side view
Loading...
tests/array.pure.lisp Diff Switch to side-by-side view
Loading...
tests/clos.impure.lisp Diff Switch to side-by-side view
Loading...
tests/compiler-1.impure-cload.lisp Diff Switch to side-by-side view
Loading...
tests/compiler.impure.lisp Diff Switch to side-by-side view
Loading...
tests/compiler.pure.lisp Diff Switch to side-by-side view
Loading...
tests/eval.impure.lisp Diff Switch to side-by-side view
Loading...
tests/hash.impure.lisp Diff Switch to side-by-side view
Loading...
tests/interface.pure.lisp Diff Switch to side-by-side view
Loading...
tests/list.pure.lisp Diff Switch to side-by-side view
Loading...
tests/mop.impure.lisp Diff Switch to side-by-side view
Loading...
tests/stream.pure.lisp Diff Switch to side-by-side view
Loading...
tests/type.impure.lisp Diff Switch to side-by-side view
Loading...
tests/type.pure.lisp Diff Switch to side-by-side view
Loading...
version.lisp-expr Diff Switch to side-by-side view
Loading...
contrib/sb-bsd-sockets/unix.lisp to contrib/sb-bsd-sockets/local.lisp
--- a/contrib/sb-bsd-sockets/unix.lisp
+++ b/contrib/sb-bsd-sockets/local.lisp
@@ -1,23 +1,23 @@
 (in-package :sb-bsd-sockets)
 
-#|| <h2>File-domain sockets</h2>
+#|| <h2>Local (unix) domain sockets</h2>
 
-File-domain (AF_FILE) sockets are also known as Unix-domain sockets, but were
+Local domain (AF_LOCAL) sockets are also known as Unix-domain sockets, but were
 renamed by POSIX presumably on the basis that they may be
 available on other systems too.  
 
-A file-domain socket address is a string, which is used to create a node
+A local socket address is a string, which is used to create a node
 in the local filesystem.  This means of course that they cannot be used across
 a network.
 
 ||#
 
-(defclass unix-socket (socket)
-  ((family :initform sockint::af-unix)))
+(defclass local-socket (socket)
+  ((family :initform sockint::af-local)))
 
-(defmethod make-sockaddr-for ((socket unix-socket) &optional sockaddr &rest address &aux (filename (first address)))
+(defmethod make-sockaddr-for ((socket local-socket) &optional sockaddr &rest address &aux (filename (first address)))
   (let ((sockaddr (or sockaddr (sockint::allocate-sockaddr-un))))
-    (setf (sockint::sockaddr-un-family sockaddr) sockint::af-unix)
+    (setf (sockint::sockaddr-un-family sockaddr) sockint::af-local)
     (when filename
       (loop for c across filename
 	    ;; XXX magic constant ew ew ew.  should grovel this from
@@ -28,10 +28,10 @@
 	    (setf (sockint::sockaddr-un-path sockaddr (1+ i)) 0)))
     sockaddr))
 
-(defmethod size-of-sockaddr ((socket unix-socket))
+(defmethod size-of-sockaddr ((socket local-socket))
   sockint::size-of-sockaddr-un)
 
-(defmethod bits-of-sockaddr ((socket unix-socket) sockaddr)
+(defmethod bits-of-sockaddr ((socket local-socket) sockaddr)
   "Returns filename of SOCKADDR"
   (let ((name (sb-c-call::%naturalize-c-string
 	       (sb-sys:sap+ (sockint::array-data-address sockaddr)
1 2 3 .. 8 > >> (Page 1 of 8)