From 6c4cf8eb634253d96fbf43356d31264c1274edd1 Mon Sep 17 00:00:00 2001
From: rtoy <rtoy>
Date: Thu, 3 Apr 2008 18:10:29 +0000
Subject: [PATCH] Enable double-double-float bounds for the FLOAT type
 translator. That's working now.  (But general type derivation for
 double-double-float's isn't working as expected.  Many things are derived as
 unbounded double-double-float instead of something much smaller.)

---
 code/type.lisp | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/code/type.lisp b/code/type.lisp
index 7733f4e28..02c3edd11 100644
--- a/code/type.lisp
+++ b/code/type.lisp
@@ -5,7 +5,7 @@
 ;;; Carnegie Mellon University, and has been placed in the public domain.
 ;;;
 (ext:file-comment
-  "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/code/type.lisp,v 1.75 2007/11/05 15:25:03 rtoy Exp $")
+  "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/code/type.lisp,v 1.76 2008/04/03 18:10:29 rtoy Exp $")
 ;;;
 ;;; **********************************************************************
 ;;;
@@ -2415,10 +2415,9 @@
 	(double-float ,(coerced-float-bound  low 'double-float)
 		      ,(coerced-float-bound high 'double-float))
 	#+long-float ,(error "stub: no long float support yet")
-	;; Can't add bound for this yet.  Don't know why.
 	#+double-double
-	(double-double-float #+nil ,(coerced-float-bound  low 'double-double-float)
-			     #+nil ,(coerced-float-bound high 'double-double-float)))))
+	(double-double-float ,(coerced-float-bound  low 'double-double-float)
+			     ,(coerced-float-bound high 'double-double-float)))))
 
 (defmacro define-float-format (f)
   `(def-bounded-type ,f float ,f))
-- 
GitLab