From: William H. N. <wn...@us...> - 2002-10-30 16:30:35
|
Update of /cvsroot/sbcl/sbcl/src/code In directory usw-pr-cvs1:/tmp/cvs-serv6539/src/code Modified Files: late-type.lisp Log Message: 0.7.9.19: fixed new type inference bug as per CSR's hint on IRC Index: late-type.lisp =================================================================== RCS file: /cvsroot/sbcl/sbcl/src/code/late-type.lisp,v retrieving revision 1.57 retrieving revision 1.58 diff -u -d -r1.57 -r1.58 --- late-type.lisp 26 Oct 2002 05:30:58 -0000 1.57 +++ late-type.lisp 30 Oct 2002 16:30:31 -0000 1.58 @@ -213,8 +213,6 @@ (type-specifier (fun-type-returns type))))) -;;; Since all function types are equivalent to FUNCTION, they are all -;;; subtypes of each other. (!define-type-method (function :simple-subtypep) (type1 type2) (flet ((fun-type-simple-p (type) (not (or (fun-type-rest type) @@ -237,8 +235,8 @@ (if (and val1 val2) (values t t) (values nil (or win1 win2)))))))) - (3and (csubtypep (fun-type-returns type1) - (fun-type-returns type2)) + (3and (values-subtypep (fun-type-returns type1) + (fun-type-returns type2)) (cond ((fun-type-wild-args type2) (values t t)) ((fun-type-wild-args type1) |