next up previous contents
Next: 3.1.6 hitrans Up: 3.1 The extron transformers Previous: 3.1.4 unor

3.1.5 unlambda


unlambda transforms lambda expressions that cannot be expanded inlinegif, i.e. additional clauses are generated:

In both cases, the lambda expression is replaced by a structure `(lambdan tex2html_wrap_inline2889  ...  tex2html_wrap_inline2891 ), where lambdan is a new symbol created by gentemp and tex2html_wrap_inline2889  ...  tex2html_wrap_inline2891 are the free variables occurring in the lambda expression (for m = 0, instead of `(lambdan), only a new constant lambdan is generated).


Harold Boley (