From 420b9a9b7dc4f95b9c92c587ffca0100ab68ea58 Mon Sep 17 00:00:00 2001 From: Stephen Adams Date: Sat, 27 Jul 1996 03:31:38 +0000 Subject: [PATCH] Added a flag to TYPE:USER-DESCRIPTION. --- v8/src/compiler/midend/types.scm | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/v8/src/compiler/midend/types.scm b/v8/src/compiler/midend/types.scm index b3a5ab1e7..0c87170de 100644 --- 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") -- 2.25.1