diff options
| author | Adriaan Moors <adriaan.moors@epfl.ch> | 2007-04-25 21:03:04 +0000 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2007-04-25 21:03:04 +0000 |
| commit | 775cd7b80e553270c08afc9629f133000d21b196 (patch) | |
| tree | 0be078186032f1ec6f6e714823a86e3f125f3532 /src/compiler/scala/tools/nsc/typechecker/Typers.scala | |
| parent | 218c5a8223779d0ea0e261047b710fd7ab6601c6 (diff) | |
| download | scala-775cd7b80e553270c08afc9629f133000d21b196.tar.gz scala-775cd7b80e553270c08afc9629f133000d21b196.tar.bz2 scala-775cd7b80e553270c08afc9629f133000d21b196.zip | |
sorry, my previous commit compiled fine using t...
sorry, my previous commit compiled fine using the latest build, but it
didn't compile using starr
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/Typers.scala')
| -rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Typers.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Typers.scala b/src/compiler/scala/tools/nsc/typechecker/Typers.scala index f7b699065c..e310da959f 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Typers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Typers.scala @@ -2350,7 +2350,7 @@ trait Typers requires Analyzer { setError(tree) } else if (tparams.length == args.length) { // @M: kind-arity checking is done here and in adapt, full kind-checking is in checkKindBounds (in Infer) - val args1 = if(!tpt1.symbol.rawInfo.isComplete) List.mapConserve(args){typedHigherKindedType(_)} // if symbol hasn't been fully loaded, can't check kind-arity + val args1 = if(!tpt1.symbol.rawInfo.isComplete) List.mapConserve(args){(x: Tree) => typedHigherKindedType(x)} // if symbol hasn't been fully loaded, can't check kind-arity else map2Conserve(args, tparams) { (arg, tparam) => typedHigherKindedType(arg, parameterizedType(tparam.typeParams, AnyClass.tpe)) //@M! the polytype denotes the expected kind } |