Added a flag to TYPE:USER-DESCRIPTION.

diff --git a/v8/src/compiler/midend/types.scm b/v8/src/compiler/midend/types.scm
index b3a5ab1e7061e86b53203ea2b7531aa888b3ea1f..0c87170de4311ab629e7fc4c123be3a80c459f5f 100644 (file)
--- a/v8/src/compiler/midend/types.scm
+++ b/v8/src/compiler/midend/types.scm
@@ -1,6 +1,6 @@
 #| -*-Scheme-*-
 
-$Id: types.scm,v 1.4 1996/07/23 15:34:53 adams Exp $
+$Id: types.scm,v 1.5 1996/07/27 03:31:38 adams Exp $
 
 Copyright (c) 1995-1996 Massachusetts Institute of Technology
 
@@ -83,12 +83,14 @@ MIT in each case. |#
          (else
           (loop type (cdr pairs) description)))))
 
-(define (type:user-description type)
+(define (type:user-description type accurate?)
   (define (try t name)
     (and (type:subset? type t) name))
   (or (try type:boolean "a boolean")
       (try type:exact-non-negative-integer  "an exact non-negative integer")
+      (and accurate? (try type:fixnum "a small exact integer (fixnum)"))
       (try type:exact-integer "an exact integer")
+      (and accurate? (try type:flonum  "an inexact real (flonum)"))
       (try type:number  "a number")
       (try type:string  "a string")
       (try type:string  "a character")