sbcl Log

Commit Date  
[0975e0] (1.3 kB) by Alexey Dejneka Alexey Dejneka (updated to

* 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;

2003-03-20 10:17:57 View
[f17b4a] (908 Bytes) by Alexey Dejneka Alexey Dejneka

This is an EXPERIMENTAL branch. Mayor change is reimplementation of
type assertions with CAST nodes, which should provide a way to fix
several classical bugs in the type checking system.

This version is a first try on the idea. It may be buggy, slow and
produce inefficient code.

2003-02-10 14:53:58 View
[8d404a] (1.2 kB) by Daniel Barlow Daniel Barlow
Update asdf to newer upstream version (:serial t)

module-provide-asdf now refuses to try providing a module
unless it can find a system file, so doesn't usurp the whole
PROVIDE/REQUIRE mechanism for non-asdf modules. should set SBCL_HOME to the source
tree, so that inter-module dependencies are searched for in
the right place

Actually add the ACL repl to the repository this time

2003-02-08 15:41:19 View
[10d2c0] (908 Bytes) by Daniel Barlow Daniel Barlow
Added WHN's port of Kevin Rosenberg's ACL-like toplevel as
the contrib package SB-ACLREPL

Tidied up some of the contrib infrastructure in pursuance of OAOO

Renamefest: adopt standard SB- package prefixes for all contribs

Contrib packages are now built by
(called from instead of being left to time

2003-02-07 17:11:38 View