Path: utzoo!mnetor!tmsoft!torsqnt!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!zaphod.mps.ohio-state.edu!pacific.mps.ohio-state.edu!linac!att!ucbvax!MITCH.ENG.SUN.COM!wmb
From: wmb@MITCH.ENG.SUN.COM
Newsgroups: comp.lang.forth
Subject: Re: TEXIT
Message-ID: <9102141431.AA13743@ucbvax.Berkeley.EDU>
Date: 13 Feb 91 22:34:45 GMT
Sender: daemon@ucbvax.BERKELEY.EDU
Reply-To: wmb%MITCH.ENG.SUN.COM@SCFVM.GSFC.NASA.GOV
Organization: The Internet
Lines: 19

> Mitch,   I think you misinterpreted Brad's words.
> && and || are ment to leave a flag on exit, to _drop_ it otherwise.
>  Thus possible definitions might be:

> : || ( true -- true&EXIT ) ( false -- )  ( comp: -- )
>    POSTPONE DUP  POSTPONE IF  POSTPONE EXIT  POSTPONE THEN  POSTPONE DROP
> ; IMMEDIATE                                               ( ^^^^^^^^^^^^^ )

Oops, I screwed up while trying to optimize it.  How about:

  : ||  POSTPONE ?DUP  POSTPONE IF  POSTPONE EXIT  POSTPONE THEN  ; IMMEDIATE

or

  : ||  POSTPONE IF  POSTPONE TRUE  POSTPONE EXIT  POSTPONE THEN  ; IMMEDIATE

which brings up another point:  TRUE and FALSE will be in Basis 15.

Mitch Bradley, wmb@Eng.Sun.COM