[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

false

To: willc%tekchips.tek.com@RELAY.CS.NET
Subject: false
From: Alan Bawden <ALAN@AI.AI.MIT.EDU>
Date: Fri, 11 Mar 88 13:00:23 EST
cc: rrrs-authors@MC.LCS.MIT.EDU
In-reply-to: Msg of Fri 11 Mar 88 12:09:07 EST from Jonathan A Rees <JAR at AI.AI.MIT.EDU>

Let me make sure I understand the proposal.

  (define (false-test) (list (eq? '() '#F) (not '())))

Currently a conforming Scheme implementation may return either (#T #T) or
(#F #T) as the value of (FALSE-TEST).  The proposal is to allow
implementations in which (#F #F) is returned.

It might be argued that (#T #T) and (#F #F) should be the only legal cases,
and (#F #T) should be eliminated.  But that is not the current proposal.
Correct?

Prev by Date: (SYMBOL? #t) ==> ?
Next by Date: Re: false
Prev by thread: false
Next by thread: Re: false
Index(es):
- Date
- Thread