home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / LF / TEST00.LF < prev    next >
Text File  |  1996-06-04  |  504b  |  40 lines
  1.  
  2. % typetest
  3.  
  4. a <| b.
  5. b <| c.
  6.  
  7. :: a | write(aa).
  8. :: b | write(bb).
  9. :: c | write(cc).
  10.  
  11. x <| y.
  12. y <| z.
  13.  
  14. :: x(Q) | write(xx),write(Q).
  15. :: y(Q) | write(yy),write(Q).
  16. :: z(Q) | write(zz),write(Q).
  17.  
  18. k <| m.
  19. k <| n.
  20.  
  21. :: k | write(kk).
  22. :: m | write(mm).
  23. :: n | write(nn).
  24.  
  25. k1 <| m1.
  26. k1 <| n1.
  27.  
  28. :: k1(Q) | write(kk),write(Q).
  29. :: m1(Q) | write(mm),write(Q).
  30. :: n1(Q) | write(nn),write(Q).
  31.  
  32. a1 <| b1.
  33. a1 <| b2.
  34. a2 <| b1.
  35. a2 <| b2.
  36. :: a1 | write('A1').
  37. :: b1 | write('B1').
  38. :: a2 | write('A2').
  39. :: b2 | write('B2').
  40.