home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / IN / BRUNOBUG.IN < prev    next >
Text File  |  1996-06-04  |  714b  |  49 lines
  1. X = foo(foo(titi,Y:titi), pb(action => @(Y)))?
  2.  
  3. X = foo(foo(_,Y:titi), pb(action => @(Y)))?
  4.  
  5. p_a(X)?
  6.  
  7. X=pair(foo_b(Y:titi_b), s_b(B:@(Y)))?
  8.  
  9. X=pair(foo_b(Y:titi_b), s_b(Y))?
  10.  
  11. b_1(X)?
  12.  
  13. b_2(X)?
  14.  
  15. X=foo_c(foo_c(A,Y:titi_c), p_c(B:@(Y)))?
  16.  
  17. X=foo_c(foo_c(A,Y:titi_c), p_c(Y))?
  18.  
  19. Z=p_c(B:@(Y)), X=foo_c(A,Y:titi_c)?
  20.  
  21. X=foo_c(A,Y:titi_c), Z=p_c(B:@(Y))?
  22.  
  23. X=foo_c(p_c(@(Y)), foo_c(_,Y:titi_c))?
  24.  
  25. X=foo_c(p_c(@(Y)), foo_c(_,@(Y:titi_c)))?
  26.  
  27. X=foo_c(p_c(Y), foo_c(_,Y:titi_c))?
  28.  
  29. X = foo_d(foo_d(_,Y:titi_d), p_d(@(@(Y))))?
  30.  
  31. X = foo_d(foo_d(_,Y:titi_d), p_d(@(Y)))?
  32.  
  33. X = foo_d(foo_d(_,Y:titi_d), p_d(Y))?
  34.  
  35. d_1(X)?
  36.  
  37. d_2(X)?
  38.  
  39. d_3(X)?
  40.  
  41. X=foo_e(foo_e(_,Y:titi_e), p_e(@(Y)))?
  42.  
  43. X=foo_e(foo_e(_,Y:titi_e), p_e(Y))?
  44.  
  45. e_1(X)?
  46.  
  47. e_2(X)?
  48.  
  49.