home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
OS/2 Shareware BBS: 10 Tools
/
10-Tools.zip
/
lifeos2.zip
/
LIFE-1.02
/
TESTS
/
IN
/
PRINT_TE.IN
< prev
next >
Wrap
Text File
|
1996-06-04
|
1KB
|
78 lines
% File to test the pretty printing of lists.
%
% Written by: Richard Meyer
% 11th Dec 1992
write([]),nl?
write([a,b,c]),nl?
write([a,b|c]),nl?
write([a,b,C:c,d,C]),nl?
write([a,b|L:[c,d,L,e]]),nl?
write(A:[a,b,A]),nl?
write(A:[a,b|A]),nl?
write(cons(nil,nil)),nl?
write(A:cons(A,A)),nl?
write(cons(a)),nl?
write(cons(2=>b)),nl?
write([a,b|cons(2=>c)]),nl?
write([a,b|cons(1=>c)]),nl?
write([a,b|cons(2=>nil)]),nl?
write([a,b|nil(1,2,3)]),nl?
write(cons(a,cons(b,cons(c,nil),d))),nl?
mud <| list.
write(mud(a,mud(b,mud(c,nil)))),nl?
write(`{}),nl?
write(`{a,b,c}),nl?
write(`{a,b|c}),nl?
write(`{a,b,C:c,d,C}),nl?
write(`{a,b|L:`{c,d,L,e}}),nl?
write(A:`{a,b,A}),nl?
write(A:`{a,b|A}),nl?
write(`disj({},{})),nl?
write(A:`disj(A,A)),nl?
write(`disj(a)),nl?
write(`disj(2=>b)),nl?
write(`{a;b|disj(2=>c)}),nl?
write(`{a;b|disj(1=>c)}),nl?
write(`{a;b|disj(2=>{})}),nl?
write(`{a;b|{}(1,2,3)}),nl?
write(`disj(a,disj(b,disj(c,{}),d))),nl?
A=bagof(X,X=disj(a,disj(b,disj(c,{}),d)))?