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