home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / LIBSTRUC.REF < prev    next >
Text File  |  1996-06-04  |  4KB  |  398 lines
  1.  
  2. *** Yes
  3. > > 
  4. *** Yes
  5. > > 
  6.  
  7. testing: tata +>= toto
  8.     true
  9.  
  10. *** No
  11. > 
  12.  
  13. testing: toto +>= tata
  14.     false
  15.  
  16. *** No
  17. > 
  18.  
  19. testing: (@, @)+>=(C, C)
  20.     true
  21.  
  22. *** No
  23. > 
  24.  
  25. testing: (C, C)+>=(@, @)
  26.     false
  27.  
  28. *** No
  29. > 
  30.  
  31. testing: [@|@] +>= [C,C]
  32.     true
  33.  
  34. *** No
  35. > 
  36.  
  37. testing: [C|C] +>= [@|@]
  38.     false
  39.  
  40. *** No
  41. > 
  42.  
  43. testing: foo(a,s,d) +>= foo(a,s,d,@)
  44.     true
  45.  
  46. *** No
  47. > 
  48.  
  49. testing: foo(a,s,d,@) +>= foo(a,s,d)
  50.     false
  51.  
  52. *** No
  53. > > 
  54.  
  55. *** Yes
  56. > > 
  57.  
  58. testing: tata +> toto
  59.     true
  60.  
  61. *** No
  62. > 
  63.  
  64. testing: toto +> tata
  65.     false
  66.  
  67. *** No
  68. > 
  69.  
  70. testing: (@, @)+>(C, C)
  71.     true
  72.  
  73. *** No
  74. > 
  75.  
  76. testing: (C, C)+>(@, @)
  77.     false
  78.  
  79. *** No
  80. > 
  81.  
  82. testing: [@|@] +> [C|C]
  83.     true
  84.  
  85. *** No
  86. > 
  87.  
  88. testing: [C|C] +> [@|@]
  89.     false
  90.  
  91. *** No
  92. > 
  93.  
  94. testing: foo(a,s,d) +> foo(a,s,d,@)
  95.     true
  96.  
  97. *** No
  98. > 
  99.  
  100. testing: foo(a,s,d,@) +> foo(a,s,d)
  101.     false
  102.  
  103. *** No
  104. > > 
  105.  
  106. *** Yes
  107. > > 
  108.  
  109. testing: tata == toto
  110.     false
  111.  
  112. *** No
  113. > 
  114.  
  115. testing: toto == tata
  116.     false
  117.  
  118. *** No
  119. > 
  120.  
  121. testing: (@, @)==(C, C)
  122.     false
  123.  
  124. *** No
  125. > 
  126.  
  127. testing: (C, C)==(@, @)
  128.     false
  129.  
  130. *** No
  131. > 
  132.  
  133. testing: [@|@] == [C,C]
  134.     false
  135.  
  136. *** No
  137. > 
  138.  
  139. testing: [C|C] == [@|@]
  140.     false
  141.  
  142. *** No
  143. > 
  144.  
  145. testing: foo(a,s,d) == foo(a,s,d,@)
  146.     false
  147.  
  148. *** No
  149. > 
  150.  
  151. testing: foo(a,s,d,@) == foo(a,s,d)
  152.     false
  153.  
  154. *** No
  155. > > > |    |    |    |    |    |    |    |    |    |    |    |    |    |    |    |    |    
  156.  
  157.  
  158. 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)))
  159.     true
  160.  
  161.  
  162.  
  163. testing: true
  164.     true
  165.  
  166.  
  167.  
  168. testing: true
  169.     true
  170.  
  171. *** No
  172. > > 
  173.  
  174. testing: tata +=< toto
  175.     false
  176.  
  177. *** No
  178. > 
  179.  
  180. testing: toto +=< tata
  181.     true
  182.  
  183. *** No
  184. > 
  185.  
  186. testing: (@, @)+=<(C, C)
  187.     false
  188.  
  189. *** No
  190. > 
  191.  
  192. testing: (C, C)+=<(@, @)
  193.     true
  194.  
  195. *** No
  196. > 
  197.  
  198. testing: [@|@] +=< [C,C]
  199.     false
  200.  
  201. *** No
  202. > 
  203.  
  204. testing: [C|C] +=< [@|@]
  205.     true
  206.  
  207. *** No
  208. > 
  209.  
  210. testing: foo(a,s,d) +=< foo(a,s,d,@)
  211.     false
  212.  
  213. *** No
  214. > 
  215.  
  216. testing: foo(a,s,d,@) +=< foo(a,s,d)
  217.     true
  218.  
  219. *** No
  220. > > 
  221.  
  222. *** Yes
  223. > > 
  224.  
  225. testing: tata +< toto
  226.     false
  227.  
  228. *** No
  229. > 
  230.  
  231. testing: toto +< tata
  232.     true
  233.  
  234. *** No
  235. > 
  236.  
  237. testing: (@, @)+<(C, C)
  238.     false
  239.  
  240. *** No
  241. > 
  242.  
  243. testing: (C, C)+<(@, @)
  244.     true
  245.  
  246. *** No
  247. > 
  248.  
  249. testing: [@|@] +< [C,C]
  250.     false
  251.  
  252. *** No
  253. > 
  254.  
  255. testing: [C|C] +< [@|@]
  256.     true
  257.  
  258. *** No
  259. > 
  260.  
  261. testing: foo(a,s,d) +< foo(a,s,d,@)
  262.     false
  263.  
  264. *** No
  265. > 
  266.  
  267. testing: foo(a,s,d,@) +< foo(a,s,d)
  268.     true
  269.  
  270. *** No
  271. > > 
  272.  
  273. *** Yes
  274. > > 
  275.  
  276. testing: tata +>< toto
  277.     true
  278.  
  279. *** No
  280. > 
  281.  
  282. testing: toto +>< tata
  283.     true
  284.  
  285. *** No
  286. > 
  287.  
  288. testing: (@, @)+><(C, C)
  289.     true
  290.  
  291. *** No
  292. > 
  293.  
  294. testing: (C, C)+><(@, @)
  295.     true
  296.  
  297. *** No
  298. > 
  299.  
  300. testing: [@|@] +>< [C,C]
  301.     true
  302.  
  303. *** No
  304. > 
  305.  
  306. testing: [C|C] +>< [@|@]
  307.     true
  308.  
  309. *** No
  310. > 
  311.  
  312. testing: foo(a,s,d) +>< foo(a,s,d,@)
  313.     true
  314.  
  315. *** No
  316. > 
  317.  
  318. testing: foo(a,s,d,@) +>< foo(a,s,d)
  319.     true
  320.  
  321. *** No
  322. > > |    |    |    |    |    |    |    |    |    |    |    |    |    |    |    |    |    
  323.  
  324.  
  325. 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)))
  326.     false
  327.  
  328.  
  329.  
  330. testing: false
  331.     false
  332.  
  333.  
  334.  
  335. testing: false
  336.     false
  337.  
  338. *** No
  339. > > 
  340.  
  341. testing: write(charley)
  342.     write(charley)
  343.  
  344. *** No
  345. > > 
  346.  
  347. testing: a :== c
  348.     false
  349.  
  350.  
  351. testing: true
  352.     true
  353.  
  354.  
  355. testing: false
  356.     false
  357.  
  358.  
  359. testing: false
  360.     false
  361.  
  362.  
  363. testing: false
  364.     false
  365.  
  366.  
  367. testing: false
  368.     false
  369.  
  370.  
  371. testing: true
  372.     true
  373.  
  374.  
  375. testing: false
  376.     false
  377.  
  378. *** No
  379. > > > 
  380. *** Yes
  381. > 
  382. *** Yes
  383. > 
  384. *** Yes
  385. > 
  386. *** Yes
  387. > 
  388. *** Yes
  389. > 
  390. *** Yes
  391. > > 
  392.  
  393. testing: f(b,c) +>< f(X,X)
  394.     false
  395.  
  396. *** No
  397. > 
  398.