diff options
| author | michelou <michelou@epfl.ch> | 2006-10-10 09:34:08 +0000 |
|---|---|---|
| committer | michelou <michelou@epfl.ch> | 2006-10-10 09:34:08 +0000 |
| commit | c012f9230600552b491b000f18252d0f832426be (patch) | |
| tree | b6ab2913469ba2c77b37cef7ee5a8b385ba90fe1 /src/compiler/scala/tools/nsc/typechecker/EtaExpansion.scala | |
| parent | 7cd471c22306ba63836ab3b863a14e86d0813fd6 (diff) | |
| download | scala-c012f9230600552b491b000f18252d0f832426be.tar.gz scala-c012f9230600552b491b000f18252d0f832426be.tar.bz2 scala-c012f9230600552b491b000f18252d0f832426be.zip | |
added svn:keywords to scala/actors/*.scala
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/EtaExpansion.scala')
| -rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/EtaExpansion.scala | 22 |
1 files changed, 12 insertions, 10 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/EtaExpansion.scala b/src/compiler/scala/tools/nsc/typechecker/EtaExpansion.scala index 154ec66c09..0077da5a8f 100644 --- a/src/compiler/scala/tools/nsc/typechecker/EtaExpansion.scala +++ b/src/compiler/scala/tools/nsc/typechecker/EtaExpansion.scala @@ -19,18 +19,20 @@ trait EtaExpansion requires Analyzer { import global._ import posAssigner.atPos - /** Expand partial function applications of type `type'. - * + /** <p> + * Expand partial function applications of type <code>type</code>. + * </p><pre> * p.f(es_1)...(es_n) * ==> { - * private synthetic val eta$f = p.f // if p is not stable + * <b>private synthetic val</b> eta$f = p.f // if p is not stable + * ... + * <b>private synthetic val</b> eta$e_i = e_i // if e_i is not stable * ... - * private synthetic val eta$e_i = e_i // if e_i is not stable - * ... - * * (ps_1 => ... => ps_m => eta$f([es_1])...([es_m])(ps_1)...(ps_m)) - * } - * tree is already attributed + * }</pre> + * <p> + * tree is already attributed + * </p> */ def etaExpand(tree: Tree): Tree = { val tpe = tree.tpe @@ -38,8 +40,8 @@ trait EtaExpansion requires Analyzer { def freshName() = { cnt = cnt + 1; newTermName("eta$" + cnt) } val defs = new ListBuffer[Tree] - /** Append to `defs' value definitions for all non-stable subexpressions - * of the function application <code>tree</code> + /** Append to <code>defs</code> value definitions for all non-stable + * subexpressions of the function application <code>tree</code>. * * @param tree ... * @return ... |