home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / SUB.REF < prev    next >
Text File  |  1996-06-04  |  4KB  |  250 lines
  1.  
  2. *** Yes
  3. > > 
  4. *** Yes
  5. > 
  6. *** Yes
  7. > 
  8. *** Yes
  9. > 
  10. *** Yes
  11. > 
  12. *** Yes
  13. > 
  14. *** Yes
  15. > 
  16. *** Yes
  17. > 
  18. *** Yes
  19. > > > |    |    |    |    |    |    |    
  20. *** Yes
  21. > > 
  22.  
  23.  
  24. *** Substituting: a with b ***
  25. p(a,b,c,1,2,3)
  26. p(b,b,c,1,2,3)
  27. p(a,b,c,1,2,3)
  28.  
  29. p(_A: a,_A,c,4,5,6)
  30. p(_A: b,_A,c,4,5,6)
  31. p(_A: a,_A,c,4,5,6)
  32.  
  33. _A: p(a(7),b(8),_A)
  34. _A: p(b(7),b(8),_A)
  35. _A: p(a(7),b(8),_A)
  36.  
  37. ouch(int,real,string,cons,[])
  38. ouch(int,real,string,cons,[])
  39. ouch(int,real,string,cons,[])
  40.  
  41. ouch(1,2.4,abc,[a,b],[])
  42. ouch(1,2.4,abc,[b,b],[])
  43. ouch(1,2.4,abc,[a,b],[])
  44.  
  45. p(a => 1,b => 2,c => 3)
  46. p(b => 2,c => 3)
  47. p(a => 1,b => 2,c => 3)
  48.  
  49. p(a => a,b => b,c => c)
  50. p(b => b,c => c)
  51. p(a => a,b => b,c => c)
  52.  
  53. p([1,2,3])
  54. p([1,2,3])
  55. p([1,2,3])
  56.  
  57.  
  58. *** No
  59. > 
  60.  
  61.  
  62. *** Substituting: int with real ***
  63. p(a,b,c,1,2,3)
  64. p(a,b,c,1,2,3)
  65. p(a,b,c,1,2,3)
  66.  
  67. p(_A: a,_A,c,4,5,6)
  68. p(_A: a,_A,c,4,5,6)
  69. p(_A: a,_A,c,4,5,6)
  70.  
  71. _A: p(a(7),b(8),_A)
  72. _A: p(a(7),b(8),_A)
  73. _A: p(a(7),b(8),_A)
  74.  
  75. ouch(int,real,string,cons,[])
  76. ouch(real,real,string,cons,[])
  77. ouch(int,real,string,cons,[])
  78.  
  79. ouch(1,2.4,abc,[a,b],[])
  80. ouch(1,2.4,abc,[a,b],[])
  81. ouch(1,2.4,abc,[a,b],[])
  82.  
  83. p(a => 1,b => 2,c => 3)
  84. p(a => 1,b => 2,c => 3)
  85. p(a => 1,b => 2,c => 3)
  86.  
  87. p(a => a,b => b,c => c)
  88. p(a => a,b => b,c => c)
  89. p(a => a,b => b,c => c)
  90.  
  91. p([1,2,3])
  92. p([1,2,3])
  93. p([1,2,3])
  94.  
  95.  
  96. *** No
  97. > 
  98.  
  99.  
  100. *** Substituting: int with string ***
  101. p(a,b,c,1,2,3)
  102. p(a,b,c,1,2,3)
  103. p(a,b,c,1,2,3)
  104.  
  105. p(_A: a,_A,c,4,5,6)
  106. p(_A: a,_A,c,4,5,6)
  107. p(_A: a,_A,c,4,5,6)
  108.  
  109. _A: p(a(7),b(8),_A)
  110. _A: p(a(7),b(8),_A)
  111. _A: p(a(7),b(8),_A)
  112.  
  113. ouch(int,real,string,cons,[])
  114. ouch(string,real,string,cons,[])
  115. ouch(int,real,string,cons,[])
  116.  
  117. ouch(1,2.4,abc,[a,b],[])
  118. ouch(1,2.4,abc,[a,b],[])
  119. ouch(1,2.4,abc,[a,b],[])
  120.  
  121. p(a => 1,b => 2,c => 3)
  122. p(a => 1,b => 2,c => 3)
  123. p(a => 1,b => 2,c => 3)
  124.  
  125. p(a => a,b => b,c => c)
  126. p(a => a,b => b,c => c)
  127. p(a => a,b => b,c => c)
  128.  
  129. p([1,2,3])
  130. p([1,2,3])
  131. p([1,2,3])
  132.  
  133.  
  134. *** No
  135. > 
  136.  
  137.  
  138. *** Substituting: cons with joke ***
  139. p(a,b,c,1,2,3)
  140. p(a,b,c,1,2,3)
  141. p(a,b,c,1,2,3)
  142.  
  143. p(_A: a,_A,c,4,5,6)
  144. p(_A: a,_A,c,4,5,6)
  145. p(_A: a,_A,c,4,5,6)
  146.  
  147. _A: p(a(7),b(8),_A)
  148. _A: p(a(7),b(8),_A)
  149. _A: p(a(7),b(8),_A)
  150.  
  151. ouch(int,real,string,cons,[])
  152. ouch(int,real,string,joke,[])
  153. ouch(int,real,string,cons,[])
  154.  
  155. ouch(1,2.4,abc,[a,b],[])
  156. ouch(1,2.4,abc,joke(a,joke(b,[])),[])
  157. ouch(1,2.4,abc,[a,b],[])
  158.  
  159. p(a => 1,b => 2,c => 3)
  160. p(a => 1,b => 2,c => 3)
  161. p(a => 1,b => 2,c => 3)
  162.  
  163. p(a => a,b => b,c => c)
  164. p(a => a,b => b,c => c)
  165. p(a => a,b => b,c => c)
  166.  
  167. p([1,2,3])
  168. p(joke(1,joke(2,joke(3,[]))))
  169. p([1,2,3])
  170.  
  171.  
  172. *** No
  173. > 
  174.  
  175.  
  176. *** Substituting: [] with cons ***
  177. p(a,b,c,1,2,3)
  178. p(a,b,c,1,2,3)
  179. p(a,b,c,1,2,3)
  180.  
  181. p(_A: a,_A,c,4,5,6)
  182. p(_A: a,_A,c,4,5,6)
  183. p(_A: a,_A,c,4,5,6)
  184.  
  185. _A: p(a(7),b(8),_A)
  186. _A: p(a(7),b(8),_A)
  187. _A: p(a(7),b(8),_A)
  188.  
  189. ouch(int,real,string,cons,[])
  190. ouch(int,real,string,cons,cons)
  191. ouch(int,real,string,cons,[])
  192.  
  193. ouch(1,2.4,abc,[a,b],[])
  194. ouch(1,2.4,abc,[a,b|cons],cons)
  195. ouch(1,2.4,abc,[a,b],[])
  196.  
  197. p(a => 1,b => 2,c => 3)
  198. p(a => 1,b => 2,c => 3)
  199. p(a => 1,b => 2,c => 3)
  200.  
  201. p(a => a,b => b,c => c)
  202. p(a => a,b => b,c => c)
  203. p(a => a,b => b,c => c)
  204.  
  205. p([1,2,3])
  206. p([1,2,3|cons])
  207. p([1,2,3])
  208.  
  209.  
  210. *** No
  211. > 
  212.  
  213.  
  214. *** Substituting: 1 with blah ***
  215. p(a,b,c,1,2,3)
  216. p(a,b,c,1,2,3)
  217. p(a,b,c,1,2,3)
  218.  
  219. p(_A: a,_A,c,4,5,6)
  220. p(_A: a,_A,c,4,5,6)
  221. p(_A: a,_A,c,4,5,6)
  222.  
  223. _A: p(a(7),b(8),_A)
  224. _A: p(a(7),b(8),_A)
  225. _A: p(a(7),b(8),_A)
  226.  
  227. ouch(int,real,string,cons,[])
  228. ouch(blah,real,string,cons,[])
  229. ouch(int,real,string,cons,[])
  230.  
  231. ouch(1,2.4,abc,[a,b],[])
  232. ouch(1,2.4,abc,[a,b],[])
  233. ouch(1,2.4,abc,[a,b],[])
  234.  
  235. p(a => 1,b => 2,c => 3)
  236. p(a => 1,b => 2,c => 3)
  237. p(a => 1,b => 2,c => 3)
  238.  
  239. p(a => a,b => b,c => c)
  240. p(a => a,b => b,c => c)
  241. p(a => a,b => b,c => c)
  242.  
  243. p([1,2,3])
  244. p([1,2,3])
  245. p([1,2,3])
  246.  
  247.  
  248. *** No
  249. > 
  250.