home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / COMP_STR.REF < prev    next >
Text File  |  1996-06-04  |  3KB  |  114 lines
  1. testing: tata +>= toto
  2.        true
  3. testing: toto +>= tata
  4.        false
  5. testing: (@, @)+>=(_A, _A)
  6.        true
  7. testing: (_A, _A)+>=(@, @)
  8.        false
  9. testing: [@|@] +>= [_A,_A]
  10.        true
  11. testing: [_A|_A] +>= [@|@]
  12.        false
  13. testing: foo(a,s,d) +>= foo(a,s,d,@)
  14.        true
  15. testing: foo(a,s,d,@) +>= foo(a,s,d)
  16.        false
  17. testing: tata +> toto
  18.        true
  19. testing: toto +> tata
  20.        false
  21. testing: (@, @)+>(_A, _A)
  22.        true
  23. testing: (_A, _A)+>(@, @)
  24.        false
  25. testing: [@|@] +> [_A|_A]
  26.        true
  27. testing: [_A|_A] +> [@|@]
  28.        false
  29. testing: foo(a,s,d) +> foo(a,s,d,@)
  30.        true
  31. testing: foo(a,s,d,@) +> foo(a,s,d)
  32.        false
  33. testing: tata == toto
  34.        false
  35. testing: toto == tata
  36.        false
  37. testing: (@, @)==(_A, _A)
  38.        false
  39. testing: (_A, _A)==(@, @)
  40.        false
  41. testing: [@|@] == [_A,_A]
  42.        false
  43. testing: [_A|_A] == [@|@]
  44.        false
  45. testing: foo(a,s,d) == foo(a,s,d,@)
  46.        false
  47. testing: foo(a,s,d,@) == foo(a,s,d)
  48.        false
  49. testing: big(tom(brain => slow_witted,father => tax_collector,favorite_exclamation => arghh!!,friend => john(face => spotty,teeth => yellow),hair => knotted,hands => clumsy,mother => witch,nose => long(spots => ugly,warts => red))) == big(tom(brain => slow_witted,father => tax_collector,favorite_exclamation => arghh!!,friend => john(face => spotty,teeth => yellow),hair => knotted,hands => clumsy,mother => witch,nose => long(spots => ugly,warts => red)))
  50.        true
  51. testing: true
  52.        true
  53. testing: true
  54.        true
  55. testing: tata +=< toto
  56.        false
  57. testing: toto +=< tata
  58.        true
  59. testing: (@, @)+=<(_A, _A)
  60.        false
  61. testing: (_A, _A)+=<(@, @)
  62.        true
  63. testing: [@|@] +=< [_A,_A]
  64.        false
  65. testing: [_A|_A] +=< [@|@]
  66.        true
  67. testing: foo(a,s,d) +=< foo(a,s,d,@)
  68.        false
  69. testing: foo(a,s,d,@) +=< foo(a,s,d)
  70.        true
  71. testing: tata +< toto
  72.        false
  73. testing: toto +< tata
  74.        true
  75. testing: (@, @)+<(_A, _A)
  76.        false
  77. testing: (_A, _A)+<(@, @)
  78.        true
  79. testing: [@|@] +< [_A,_A]
  80.        false
  81. testing: [_A|_A] +< [@|@]
  82.        true
  83. testing: foo(a,s,d) +< foo(a,s,d,@)
  84.        false
  85. testing: foo(a,s,d,@) +< foo(a,s,d)
  86.        true
  87. testing: tata +>< toto
  88.        true
  89. testing: toto +>< tata
  90.        true
  91. testing: (@, @)+><(_A, _A)
  92.        true
  93. testing: (_A, _A)+><(@, @)
  94.        true
  95. testing: [@|@] +>< [_A,_A]
  96.        true
  97. testing: [_A|_A] +>< [@|@]
  98.        true
  99. testing: foo(a,s,d) +>< foo(a,s,d,@)
  100.        true
  101. testing: foo(a,s,d,@) +>< foo(a,s,d)
  102.        true
  103. testing: big(tom(brain => slow_witted,father => tax_collector,favorite_exclamation => arghh!!,friend => john(face => spotty,teeth => yellow),hair => knotted,hands => clumsy,mother => witch,nose => long(spots => ugly,warts => red))) \== big(tom(brain => slow_witted,father => tax_collector,favorite_exclamation => arghh!!,friend => john(face => spotty,teeth => yellow),hair => knotted,hands => clumsy,mother => witch,nose => long(spots => ugly,warts => red)))
  104.        false
  105. testing: false
  106.        false
  107. testing: false
  108.        false
  109. testing: f(b,c) +>< f(_A,_A)
  110.        false
  111.  
  112. *** Yes
  113. > > 
  114.