diff options
author | Adriaan Moors <adriaan.moors@epfl.ch> | 2007-09-26 17:02:57 +0000 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2007-09-26 17:02:57 +0000 |
commit | 34f6ea9cab4723231d9382b92ea165e007bbdb48 (patch) | |
tree | 699e76c6a2d8cb1f0474515c52d4b5dd8dcf6cee /src/compiler | |
parent | f25732f7d1d555240afd00298e2be8aa29672a42 (diff) | |
download | scala-34f6ea9cab4723231d9382b92ea165e007bbdb48.tar.gz scala-34f6ea9cab4723231d9382b92ea165e007bbdb48.tar.bz2 scala-34f6ea9cab4723231d9382b92ea165e007bbdb48.zip |
fixed ticket 137
Diffstat (limited to 'src/compiler')
-rw-r--r-- | src/compiler/scala/tools/nsc/symtab/Types.scala | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/symtab/Types.scala b/src/compiler/scala/tools/nsc/symtab/Types.scala index af9d7550ad..73172102a7 100644 --- a/src/compiler/scala/tools/nsc/symtab/Types.scala +++ b/src/compiler/scala/tools/nsc/symtab/Types.scala @@ -1401,7 +1401,8 @@ A type's typeSymbol should never be inspected directly. // @M TODO: should not use PolyType, as that's the type of a polymorphic value -- we really want a type *function* } else if (isHigherKinded) { // @M TODO: should not use PolyType, as that's the type of a polymorphic value -- we really want a type *function* - PolyType(typeParams, typeRef(pre, sym, higherKindedArgs)) + // @M: initialize needed (see test/files/pos/ticket0137.scala) + PolyType(typeParams, typeRef(pre, sym.initialize, higherKindedArgs)) } else if (sym.isRefinementClass) { sym.info } else { @@ -2839,6 +2840,7 @@ A type's typeSymbol should never be inspected directly. private def undoTo(limit: UndoLog) { while (undoLog ne limit)/* && !undoLog.isEmpty*/ { // @M added `&& !undoLog.isEmpty` // Martin: I don't think the addition is necessary? +// @M TODO: I had an example, but seem to have misplaced it :-) val (tv, constr) = undoLog.head undoLog = undoLog.tail tv.constr = constr |