diff options
| author | Martin Odersky <odersky@gmail.com> | 2011-06-20 17:22:12 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2011-06-20 17:22:12 +0000 |
| commit | b054289bd78ca5d2175d78b6fa55595c9a622dd4 (patch) | |
| tree | 3961895c7dc79c95e503b9a9adef3b2987d54f32 /src/compiler/scala/tools/nsc/typechecker/Infer.scala | |
| parent | f57ac28712c013543a63990129cf7dd29edab7d9 (diff) | |
| download | scala-b054289bd78ca5d2175d78b6fa55595c9a622dd4.tar.gz scala-b054289bd78ca5d2175d78b6fa55595c9a622dd4.tar.bz2 scala-b054289bd78ca5d2175d78b6fa55595c9a622dd4.zip | |
Small changes to docs only. No review.
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/Infer.scala')
| -rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Infer.scala | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Infer.scala b/src/compiler/scala/tools/nsc/typechecker/Infer.scala index 03b90ab89c..b8dcadc090 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Infer.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Infer.scala @@ -1212,10 +1212,10 @@ trait Infer { /** Substitute free type variables <code>undetparams</code> of application * <code>fn(args)</code>, given prototype <code>pt</code>. * - * @param fn ... - * @param undetparams ... - * @param args ... - * @param pt ... + * @param fn fn: the function that needs to be instantiated. + * @param undetparams the parameters that need to be determined + * @param args the actional argumments in the call. + * @param pt the expected type of the function application * @return The type parameters that remain uninstantiated, * and that thus have not been substituted. */ @@ -1285,9 +1285,9 @@ trait Infer { /** Substitute free type variables <code>undetparams</code> of type constructor * <code>tree</code> in pattern, given prototype <code>pt</code>. * - * @param tree ... - * @param undetparams ... - * @param pt ... + * @param tree the constuctor that needs to be instantiated + * @param undetparams the undetermined type parameters + * @param pt the expected result type of the instance */ def inferConstructorInstance(tree: Tree, undetparams: List[Symbol], pt0: Type) { val pt = widen(pt0) |