home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / PERSON1.REF < prev    next >
Text File  |  1996-06-04  |  621b  |  32 lines
  1.  
  2. *** Yes
  3. > > 
  4. *** Yes
  5. Joe = person(age => 50,today => 1992,yob => 1942).
  6. --1> 
  7. *** No
  8. > 
  9. *** Yes
  10. Joe = person(age => X,today => real~,yob => int~), X = int~.
  11. --1> 
  12. *** Yes
  13. Joe = person(age => X,today => 1992,yob => int~~), X = int~~.
  14. ----2> 
  15. *** Yes
  16. Joe = person(age => X,today => 1992,yob => 1962), X = 30.
  17. ------3> > 
  18. *** Yes
  19. Joe = human(age => 50,today => 1992,yob => 1942).
  20. --1> 
  21. *** No
  22. > 
  23. *** Yes
  24. Joe = human(age => X,today => int~,yob => int~), X = int~.
  25. --1> 
  26. *** Yes
  27. Joe = human(age => X,today => 1992,yob => int~~), X = int~~.
  28. ----2> 
  29. *** Yes
  30. Joe = human(age => X,today => 1992,yob => 1962), X = 30.
  31. ------3> > 
  32.