Update of /project/movitz/cvsroot/movitz In directory common-lisp.net:/tmp/cvs-serv26136

Modified Files: compiler-types.lisp Log Message: Small fix in encoded-types-or: Remember to return complement-p nil for the normal case when inputs complement0 and complement1 are nil.

Date: Wed Feb 11 13:01:40 2004 Author: ffjeld

Index: movitz/compiler-types.lisp diff -u movitz/compiler-types.lisp:1.2 movitz/compiler-types.lisp:1.3 --- movitz/compiler-types.lisp:1.2 Mon Jan 19 06:23:41 2004 +++ movitz/compiler-types.lisp Wed Feb 11 13:01:40 2004 @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld frodef@acm.org ;;;; Created at: Wed Sep 10 00:40:07 2003 ;;;; -;;;; $Id: compiler-types.lisp,v 1.2 2004/01/19 11:23:41 ffjeld Exp $ +;;;; $Id: compiler-types.lisp,v 1.3 2004/02/11 18:01:40 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------

@@ -442,11 +442,13 @@ (or (encoded-typep nil t x code0 integer-range0 nil include0 nil) (encoded-typep nil t x code1 integer-range1 nil include1 nil))) (union members0 members1 :test #'movitz-eql)) - (union include0 include1 :test #'equal)))) + (union include0 include1 :test #'equal) + nil))) (t (error "Not implemented"))))

(defun type-specifier-encode (type-specifier) + "Encode a type-specifier to internal representation." (let ((type-specifier (translate-program type-specifier :muerte.cl :cl))) (cond ((atom type-specifier)