home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / COPY2.REF < prev    next >
Text File  |  1996-06-04  |  856b  |  38 lines
  1.  
  2. *** Yes
  3. > > loading done
  4. *** Yes
  5. > > > > 
  6. *** Yes
  7. X = ww(a => 1,b => 2), Y = ww(a => 1,b => 2).
  8. --1> > > > 
  9. *** Yes
  10. B = person(wife(name => S),id => S), S = string.
  11. --1> 
  12. *** Yes
  13. A = person(wife(name => _A: string),id => _A), 
  14. B = person(wife(name => S),id => S), 
  15. S = string.
  16.  
  17. ----2> > > > |    |    
  18. *** Yes
  19. N = person(father => person(id => name(last => X)),
  20.            id => name(first => string,last => X)), 
  21. X = string.
  22.  
  23. --1> 
  24. *** Yes
  25. M = person(father => person(id => name(last => _A: string)),
  26.            id => name(first => string,last => _A)), 
  27. N = person(father => person(id => name(last => X)),
  28.            id => name(first => string,last => X)), 
  29. X = string.
  30.  
  31. ----2> 
  32. *** No
  33. N = person(father => person(id => name(last => X)),
  34.            id => name(first => string,last => X)), 
  35. X = string.
  36.  
  37. --1> --1> --1> --1> --1> --1> --1> --1> --1> --1> 
  38.