[armedbear-cvs] r11591 - trunk/abcl/src/org/armedbear/lisp

[Erik Huelsmann]

Author: ehuelsmann
Date: Mon Jan 26 19:29:53 2009
New Revision: 11591

Log:
Make SINGLE-FLOAT and DOUBLE-FLOAT compiler types.

Modified:
   trunk/abcl/src/org/armedbear/lisp/compiler-types.lisp

Modified: trunk/abcl/src/org/armedbear/lisp/compiler-types.lisp
==============================================================================
--- trunk/abcl/src/org/armedbear/lisp/compiler-types.lisp	(original)
+++ trunk/abcl/src/org/armedbear/lisp/compiler-types.lisp	Mon Jan 26 19:29:53 2009
@@ -144,12 +144,26 @@
          typespec)
         ((constant-type-p typespec)
          typespec)
+        ((eq typespec 'SINGLE-FLOAT)
+         'SINGLE-FLOAT)
+        ((eq typespec 'DOUBLE-FLOAT)
+         'DOUBLE-FLOAT)
+        ((and (consp typespec)
+              (eq (%car typespec) 'SINGLE-FLOAT))
+         'SINGLE-FLOAT)
+        ((and (consp typespec)
+              (eq (%car typespec) 'DOUBLE-FLOAT))
+         'DOUBLE-FLOAT)
         (t
          (let ((type (normalize-type typespec)))
            (cond ((consp type)
                   (let ((car (%car type)))
                     (cond ((eq car 'INTEGER)
                            (make-integer-type type))
+                          ((eq car 'SINGLE-FLOAT)
+                           'SINGLE-FLOAT)
+                          ((eq car 'DOUBLE-FLOAT)
+                           'DOUBLE-FLOAT)
                           ((memq car '(STRING SIMPLE-STRING LIST))
                            car)
                           ((memq car '(VECTOR SIMPLE-VECTOR ARRAY SIMPLE-ARRAY))