home *** CD-ROM | disk | FTP | other *** search
/ Tech Arsenal 1 / Tech Arsenal (Arsenal Computer).ISO / tek-01 / phmacro.zip / STD2.OUT < prev    next >
Encoding:
Text File  |  1993-01-04  |  909 b   |  56 lines
  1. fn:  nam=<f> parms=<a> def=<f( x * (a))>
  2.                            <fffffffffff>
  3. obj: nam=<x> def=<2>
  4.                  <x>
  5. obj: nam=<g> def=<f>
  6.                  <g>
  7. fn:  nam=<t> parms=<a> def=<a>
  8.                            <t>
  9. 0: t(t(g)(0) + t)(1);
  10.  :
  11. 1: t(g)(0) + t
  12.  :
  13. 1.1: g
  14.    :
  15. 1.1: f
  16.    : g
  17. treating end-of-buffer as end-of-file
  18. 1R: t(_)
  19.   :
  20. 1R: a
  21.   : t
  22. hide-set #0 = {gt}
  23. 1R: f
  24.   : 0
  25. 1: f(0) + t
  26.  : 0
  27. 1.1: 0
  28.    :
  29. 1R: f(_)
  30.   :
  31. 1R: f( x * (a))
  32.   : fffffffffff
  33. 1R: f( x * (0))
  34.   : fffffffffff
  35. hide-set #1 = {fgt}
  36. 1: f( x * (0)) + t
  37.  : 11111111111
  38. 1: F( x * (0)) + t
  39.  : 11111111111
  40. hide-set #2 = {fgtx}
  41. 1: F( 2 * (0)) + t
  42.  : 11121111111
  43. treating end-of-buffer as end-of-file
  44. 0R: t(_)
  45.   :
  46. 0R: a
  47.   : t
  48. 0R: F( 2 * (0)) + t
  49.   : 11121111111tttt
  50. 0: F( 2 * (0)) + t(1);
  51.  : 11121111111tttt
  52. 0: F( 2 * (0)) + T(1);
  53.  : 11121111111tttt
  54. 0: f( 2 * (0)) + t(1);
  55.  :
  56.