home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / PRINT_TE.REF < prev    next >
Text File  |  1996-06-04  |  1KB  |  140 lines
  1.  
  2. *** Yes
  3. > > > > > > > > []
  4.  
  5. *** Yes
  6. > > [a,b,c]
  7.  
  8. *** Yes
  9. > > [a,b|c]
  10.  
  11. *** Yes
  12. > > [a,b,C: c,d,C]
  13.  
  14. *** Yes
  15. C = c.
  16. --1> 
  17. *** No
  18. > [a,b|L: [c,d,L,e]]
  19.  
  20. *** Yes
  21. L = [c,d,L,e].
  22. --1> 
  23. *** No
  24. > A: [a,b,A]
  25.  
  26. *** Yes
  27. A = [a,b,A].
  28. --1> 
  29. *** No
  30. > A: [a,b|A]
  31.  
  32. *** Yes
  33. A = [a,b|A].
  34. --1> 
  35. *** No
  36. > [[]]
  37.  
  38. *** Yes
  39. > > A: [A|A]
  40.  
  41. *** Yes
  42. A = [A|A].
  43. --1> 
  44. *** No
  45. > cons(a)
  46.  
  47. *** Yes
  48. > > cons(2 => b)
  49.  
  50. *** Yes
  51. > > [a,b|cons(2 => c)]
  52.  
  53. *** Yes
  54. > > [a,b|cons(c)]
  55.  
  56. *** Yes
  57. > > [a,b|cons(2 => [])]
  58.  
  59. *** Yes
  60. > > [a,b|nil(1,2,3)]
  61.  
  62. *** Yes
  63. > > [a|cons(b,[c],d)]
  64.  
  65. *** Yes
  66. > > > 
  67. *** Yes
  68. > mud(a,mud(b,mud(c,[])))
  69.  
  70. *** Yes
  71. > > > {}
  72.  
  73. *** Yes
  74. > > {(a, b, c)}
  75.  
  76. *** Yes
  77. > > {(a, b)|c}
  78.  
  79. *** Yes
  80. > > {(a, b, C: c, d, C)}
  81.  
  82. *** Yes
  83. C = c.
  84. --1> 
  85. *** No
  86. > {(a, b)|L: (` {(c, d, L, e)})}
  87.  
  88. *** Yes
  89. L = ` {(c, d, L, e)}.
  90. --1> 
  91. *** No
  92. > A: {(a, b, A)}
  93.  
  94. *** Yes
  95. A = {(a, b, A)}.
  96. --1> 
  97. *** No
  98. > A: {(a, b)|A}
  99.  
  100. *** Yes
  101. A = {(a, b)|A}.
  102. --1> 
  103. *** No
  104. > {{}}
  105.  
  106. *** Yes
  107. > > A: {A|A}
  108.  
  109. *** Yes
  110. A = {A|A}.
  111. --1> 
  112. *** No
  113. > disj(a)
  114.  
  115. *** Yes
  116. > > disj(2 => b)
  117.  
  118. *** Yes
  119. > > {a;b|disj(2 => c)}
  120.  
  121. *** Yes
  122. > > {a;b|disj(c)}
  123.  
  124. *** Yes
  125. > > {a;b|disj(2 => {})}
  126.  
  127. *** Yes
  128. > > {a;b|{}(1,2,3)}
  129.  
  130. *** Yes
  131. > > {a|disj(b,{c},d)}
  132.  
  133. *** Yes
  134. > > 
  135. *** Yes
  136. A = [c,b,a], X = @.
  137. --1> 
  138. *** No
  139. > 
  140.