[movitz-cvs] CVS update: movitz/compiler-types.lisp

[Frode Vatvedt Fjeld]

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 at 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)