home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / IN / UNIFY.IN < prev    next >
Text File  |  1996-06-04  |  594b  |  55 lines

  1. A:a(1,2)=a(3=>q,4=>r)?
  2. .
  3. A:a(3=>q,1)=a(4=>r,2=>2)?
  4. .
  5. A:a(3=>q,4=>r)=a(1,2)?
  6. .
  7. A:a(4=>r,2=>2)=a(3=>q,1)?
  8. .
  9. A:a({1;2;3})=a({real;int})?
  10. ;
  11. ;
  12. ;
  13. ;
  14. ;
  15. ;
  16. A:a({1;2;3})=a({string;int})?
  17. ;
  18. ;
  19. ;
  20. A=a(10)& @(1=>11)?
  21. A=a(10)& @(1=>10)?
  22. A=@(X,3=>X)?
  23. A=@(3=>Y,2=>Y)?
  24. A=a(Z,foo=>Z)?
  25. A=a(foo=>Z,5=>Z)?
  26. A=@(4=>bah)?
  27. .
  28. a(3=>q,4=>r)=A:a(1,2)?
  29. .
  30. a(4=>r,2=>2)=A:a(3=>q,1)?
  31. .
  32. a(1,2)=A:a(3=>q,4=>r)?
  33. .
  34. a(3=>q,1)=A:a(4=>r,2=>2)?
  35. .
  36. a({real;int})=A:a({1;2;3})?
  37. ;
  38. ;
  39. ;
  40. ;
  41. ;
  42. ;
  43. a({string;int})=A:a({1;2;3})?
  44. ;
  45. ;
  46. ;
  47. a(10)& @(1=>11)=A?
  48. a(10)& @(1=>10)=A?
  49. @(X,3=>X)=A?
  50. @(3=>Y,2=>Y)=A?
  51. a(Z,foo=>Z)=A?
  52. a(foo=>Z,5=>Z)=A?
  53. @(4=>bah)=A?
  54. .
  55.