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 >
Text File  |  1996-06-04  |  1KB  |  78 lines
  1. % File to test the pretty printing of lists.
  2. %
  3. % Written by: Richard Meyer
  4. % 11th Dec 1992
  5.  
  6.  
  7. write([]),nl?
  8.  
  9. write([a,b,c]),nl?
  10.  
  11. write([a,b|c]),nl?
  12.  
  13. write([a,b,C:c,d,C]),nl?
  14.  
  15. write([a,b|L:[c,d,L,e]]),nl?
  16.  
  17. write(A:[a,b,A]),nl?
  18.  
  19. write(A:[a,b|A]),nl?
  20.  
  21. write(cons(nil,nil)),nl?
  22.  
  23. write(A:cons(A,A)),nl?
  24.  
  25. write(cons(a)),nl?
  26.  
  27. write(cons(2=>b)),nl?
  28.  
  29. write([a,b|cons(2=>c)]),nl?
  30.  
  31. write([a,b|cons(1=>c)]),nl?
  32.  
  33. write([a,b|cons(2=>nil)]),nl?
  34.  
  35. write([a,b|nil(1,2,3)]),nl?
  36.  
  37. write(cons(a,cons(b,cons(c,nil),d))),nl?
  38.  
  39.  
  40. mud <| list.
  41. write(mud(a,mud(b,mud(c,nil)))),nl?
  42.  
  43.  
  44. write(`{}),nl?
  45.  
  46. write(`{a,b,c}),nl?
  47.  
  48. write(`{a,b|c}),nl?
  49.  
  50. write(`{a,b,C:c,d,C}),nl?
  51.  
  52. write(`{a,b|L:`{c,d,L,e}}),nl?
  53.  
  54. write(A:`{a,b,A}),nl?
  55.  
  56. write(A:`{a,b|A}),nl?
  57.  
  58. write(`disj({},{})),nl?
  59.  
  60. write(A:`disj(A,A)),nl?
  61.  
  62. write(`disj(a)),nl?
  63.  
  64. write(`disj(2=>b)),nl?
  65.  
  66. write(`{a;b|disj(2=>c)}),nl?
  67.  
  68. write(`{a;b|disj(1=>c)}),nl?
  69.  
  70. write(`{a;b|disj(2=>{})}),nl?
  71.  
  72. write(`{a;b|{}(1,2,3)}),nl?
  73.  
  74. write(`disj(a,disj(b,disj(c,{}),d))),nl?
  75.  
  76. A=bagof(X,X=disj(a,disj(b,disj(c,{}),d)))?
  77.  
  78.