home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / BRUNOBUG.REF < prev    next >
Text File  |  1996-06-04  |  2KB  |  124 lines
  1.  
  2. *** Yes
  3. > > 
  4. *** Yes
  5. X = @(@(titi(arg => 1),Y),pb(action => @(Y))), Y = titi(arg => 1).
  6. --1> 
  7. *** No
  8. > 
  9. *** Yes
  10. X = @(@(@,Y),pb(action => @(Y))), Y = titi(arg => 1).
  11. --1> 
  12. *** No
  13. > 
  14. *** Yes
  15. X = pair(t(_A: titi_a(1)),s_a(@(_A))).
  16. --1> 
  17. *** No
  18. > 
  19. *** Yes
  20. B = @(Y), X = pair(t(Y),s_b(B)), Y = titi_b(1).
  21. --1> 
  22. *** No
  23. > 
  24. *** Yes
  25. X = pair(t(Y),s_b(Y)), Y = titi_b(1).
  26. --1> 
  27. *** No
  28. > 
  29. *** Yes
  30. X = pair(t(_A: titi_b(1)),s_b(@(_A))).
  31. --1> 
  32. *** No
  33. > 
  34. *** Yes
  35. X = pair(t(_A: titi_b(1)),s_b(_A)).
  36. --1> 
  37. *** No
  38. > 
  39. *** Yes
  40. A = @, B = @(Y), X = @(@(A,Y),p_c(B)), Y = titi_c(1).
  41. --1> 
  42. *** No
  43. > 
  44. *** Yes
  45. A = @, X = @(@(A,Y),p_c(Y)), Y = titi_c(1).
  46. --1> 
  47. *** No
  48. > 
  49. *** Yes
  50. A = @, B = @(Y), X = @(A,Y), Y = titi_c(1), Z = p_c(B).
  51. --1> 
  52. *** No
  53. > 
  54. *** Yes
  55. A = @, B = @(Y), X = @(A,Y), Y = titi_c(1), Z = p_c(B).
  56. --1> 
  57. *** No
  58. > 
  59. *** Yes
  60. X = @(p_c(@(Y)),@(@,Y)), Y = titi_c(1).
  61. --1> 
  62. *** No
  63. > 
  64. *** Yes
  65. X = @(p_c(@(Y)),@(@,@(Y))), Y = titi_c(1).
  66. --1> 
  67. *** No
  68. > 
  69. *** Yes
  70. X = @(p_c(Y),@(@,Y)), Y = titi_c(1).
  71. --1> 
  72. *** No
  73. > 
  74. *** Yes
  75. X = @(@(@,Y),p_d(@(@(Y)))), Y = titi_d(1).
  76. --1> 
  77. *** No
  78. > 
  79. *** Yes
  80. X = @(@(@,Y),p_d(@(Y))), Y = titi_d(1).
  81. --1> 
  82. *** No
  83. > 
  84. *** Yes
  85. X = @(@(@,Y),p_d(Y)), Y = titi_d(1).
  86. --1> 
  87. *** No
  88. > 
  89. *** Yes
  90. X = @(@(@,_A: titi_d(1)),p_d(@(@(_A)))).
  91. --1> 
  92. *** No
  93. > 
  94. *** Yes
  95. X = @(@(@,_A: titi_d(1)),p_d(@(_A))).
  96. --1> 
  97. *** No
  98. > 
  99. *** Yes
  100. X = @(@(@,_A: titi_d(1)),p_d(_A)).
  101. --1> 
  102. *** No
  103. > 
  104. *** Yes
  105. X = @(@(@,Y),p_e(@(Y),@)), Y = titi_e(1).
  106. --1> 
  107. *** No
  108. > 
  109. *** Yes
  110. X = @(@(@,Y),p_e(Y,@)), Y = titi_e(1).
  111. --1> 
  112. *** No
  113. > 
  114. *** Yes
  115. X = @(@(@,_A: titi_e(1)),p_e(@(_A),@)).
  116. --1> 
  117. *** No
  118. > 
  119. *** Yes
  120. X = @(@(@,_A: titi_e(1)),p_e(_A,@)).
  121. --1> 
  122. *** No
  123. > 
  124.