home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
OS/2 Shareware BBS: 10 Tools
/
10-Tools.zip
/
lifeos2.zip
/
LIFE-1.02
/
TESTS
/
REFOUT
/
PROVE.REF
< prev
next >
Wrap
Text File
|
1996-06-04
|
351b
|
37 lines
*** Yes
> >
*** Yes
X = @~.
--1>
*** Yes
X = !.
----2>
*** No
X = @~.
--1> 12
*** Yes
X = (write(1), !, write(2)).
----2>
*** No
X = @~.
--1> 123
*** No
X = @~.
--1> @
*** No
X = @~.
--1>
*** Yes
A = @, X = @~, Y = (A = 1, write(A), fail).
----2> 1
*** No
A = @, X = @~, Y = (A = 1, write(A), fail).
----2> >
*** Yes
>
*** Yes
>
*** Yes
> >