Wed Jul 8 16:56:52 CEST 2009 Tobias Rautenkranz <tobias@rautenkranz.ch>

* SBCL: compile time overload resolution

--- old-smoke/src/overload-resolution.lisp 2014-10-30 08:13:16.000000000 +0100

+++ new-smoke/src/overload-resolution.lisp 2014-10-30 08:13:16.000000000 +0100

@@ -299,15 +299,14 @@

(defun+using-type get-conversion-sequence object (object type &optional user)

"Retrains a conversion sequence to convert a instance of type CLASS

to an instance of type TYPE. When USER is true user conversions are considered."

- (if-let

- (match (call-using-type exact-match object type))

- (if (eql t match)

- (make-match 'exact-match)

- (make-match 'exact-match match))

- (or (call-using-type promotion object type)

- (call-using-type conversion object type)

- (and user

- (call-using-type user-conversion object type)))))

+ (if-let (match (call-using-type exact-match object type))

+ (if (eql t match)

+ (make-match 'exact-match)

+ (make-match 'exact-match match))

+ (or (call-using-type promotion object type)

+ (call-using-type conversion object type)

+ (and user

+ (call-using-type user-conversion object type)))))

(defun+using-types standard-conversion-sequence (method classes &optional user)

"Returns the conversion sequences to convert the arguments of types CLASSES