Update of /cvsroot/sbcl/sbcl
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv7085
Modified Files:
BUGS NEWS version.lisp-expr
Log Message:
0.8.12.10: Fix bug 338: "MOP specializers as type specifiers"
(reported by Bruno Haible sbcl-devel 2004-06-11)
... Adding a type translator in SHARED-INITIALIZE :AFTER
does the trick.
... Test case.
Index: BUGS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/BUGS,v
retrieving revision 1.406
retrieving revision 1.407
diff -u -d -r1.406 -r1.407
--- BUGS 29 Jun 2004 12:13:44 -0000 1.406
+++ BUGS 29 Jun 2004 12:42:52 -0000 1.407
@@ -1540,20 +1540,6 @@
(test-um12 17))
fails with NO-APPLICABLE-METHOD.
-338: "MOP specializers as type specifiers"
- (reported by Bruno Haible sbcl-devel 2004-06-11)
-
- ANSI 7.6.2 says:
- Because every valid parameter specializer is also a valid type
- specifier, the function typep can be used during method selection
- to determine whether an argument satisfies a parameter
- specializer.
-
- however, SBCL's EQL specializers are not type specifiers:
- (defmethod foo ((x (eql 4.0))) 3.0)
- (typep 1 (first (sb-pcl:method-specializers *)))
- gives an error.
-
339: "DEFINE-METHOD-COMBINATION bugs"
(reported by Bruno Haible via the clisp test suite)
Index: NEWS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/NEWS,v
retrieving revision 1.578
retrieving revision 1.579
diff -u -d -r1.578 -r1.579
--- NEWS 29 Jun 2004 09:53:13 -0000 1.578
+++ NEWS 29 Jun 2004 12:42:53 -0000 1.579
@@ -2564,6 +2564,8 @@
enable them.
* the SB-SPROF contrib now works on (most) non-x86 architectures.
It is known as of this release not to work on the Alpha, however.
+ * fixed bug #338: instances of EQL-SPECIFIER are now valid type
+ designators and can hence be used with TYPEP.
* fixed bug #333: CHECK-TYPE now ensures that the type error
signalled, if any, has the right object to be accessed by
TYPE-ERROR-DATUM. (reported by Tony Martinez)
Index: version.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v
retrieving revision 1.1682
retrieving revision 1.1683
diff -u -d -r1.1682 -r1.1683
--- version.lisp-expr 29 Jun 2004 12:13:45 -0000 1.1682
+++ version.lisp-expr 29 Jun 2004 12:42:54 -0000 1.1683
@@ -17,4 +17,4 @@
;;; checkins which aren't released. (And occasionally for internal
;;; versions, especially for internal versions off the main CVS
;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
-"0.8.12.9"
+"0.8.12.10"
-------------------------------------------------------
This SF.Net email sponsored by Black Hat Briefings & Training.
Attend Black Hat Briefings & Training, Las Vegas July 24-29 -
digital self defense, top technical experts, no vendor pitches,
unmatched networking opportunities. Visit www.blackhat.com
|
