home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / CURRY8.REF < prev    next >
Text File  |  1996-06-04  |  301b  |  27 lines
  1.  
  2. *** Yes
  3. > > 
  4. *** Yes
  5. > 
  6. *** Yes
  7. X = f(1).
  8. --1> 
  9. *** Yes
  10. X = f(_A: 1), Y = [_A,2].
  11. ----2> 
  12. *** No
  13. X = f(1).
  14. --1> 
  15. *** No
  16. X = f(1).
  17. --1> 
  18. *** Yes
  19. X = f(1), Y = f(1).
  20. ----2> 
  21. *** Yes
  22. X = f(1), Y = f(_A: 1), Z = [_A,2].
  23. ------3> 
  24. *** Yes
  25. W = [_A: 1,3], X = f(_A), Y = f(_B: 1), Z = [_B,2].
  26. --------4> > 
  27.