home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / LIST_BDA.REF < prev    next >
Text File  |  1996-06-04  |  641b  |  50 lines
  1.  
  2. *** Yes
  3. > > 
  4. *** Yes
  5. A = [a].
  6. --1> 
  7. *** Yes
  8. A = [a], B = [X|Y], X = @, Y = @.
  9. ----2> 
  10. *** Yes
  11. A = [X|Y], B = A, X = a, Y = [].
  12. ------3> 
  13. *** Yes
  14. A = [X|Y], B = A, X = a, Y = pouf.
  15. --------4> 
  16. *** No
  17. A = [X|Y], B = A, X = a, Y = [].
  18. ------3> 
  19. *** No
  20. A = [a], B = [X|Y], X = @, Y = @.
  21. ----2> 
  22. *** No
  23. A = [a].
  24. --1> 
  25. *** No
  26. > 
  27. *** Yes
  28. A = [[]].
  29. --1> 
  30. *** Yes
  31. A = [[]], B = [X|Y], X = @, Y = @.
  32. ----2> 
  33. *** Yes
  34. A = [X|Y], B = A, X = [], Y = [].
  35. ------3> 
  36. *** Yes
  37. A = [X|Y], B = A, X = pouf, Y = [].
  38. --------4> 
  39. *** No
  40. A = [X|Y], B = A, X = [], Y = [].
  41. ------3> 
  42. *** No
  43. A = [[]], B = [X|Y], X = @, Y = @.
  44. ----2> 
  45. *** No
  46. A = [[]].
  47. --1> 
  48. *** No
  49. > 
  50.