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