*** empty log message ***

4 files changed, 45 insertions, 9 deletions

diff --git a/sources/scalac/transformer/LambdaLift.java b/sources/scalac/transformer/LambdaLift.java
index c12b7c8a79..209be84626 100644
--- a/sources/scalac/transformer/LambdaLift.java
+++ b/sources/scalac/transformer/LambdaLift.java
@@ -63,7 +63,30 @@ public class LambdaLift extends OwnerTransformer
 	return sym.kind == CLASS ? sym.primaryConstructor() : sym;
     }
 
-    /** `asFunction' applied to the next enclosing function or class owner.
+    /** Is symbol local relative to owner?
+     *  Primary constructor parameters are local iff owner (contained in)
+     *  the primary constructor.
+     */
+    static boolean isLocal(Symbol sym, Symbol owner) {
+	if ((sym.flags & PARAM) != 0 &&
+	    sym.owner().isPrimaryConstructor() &&
+	    sym.owner().constructorClass().kind == CLASS &&
+	    !((owner.flags & PARAM) != 0 && owner.owner() == sym)) {
+	    Symbol encl = sym.owner().owner();
+	    Symbol clazz = sym.owner().constructorClass();
+	    //System.out.println("isLocal " + sym + " " + encl + " " + clazz + " " + owner);//DEBUG
+	    while (owner != encl &&
+		   owner.kind != NONE &&
+		   owner != clazz) {
+		owner = owner.owner();
+		//System.out.println(":" + owner);//DEBUG
+	    }
+	    return owner != clazz;
+	}
+	return sym.isLocal();
+    }
+
+    /** Propagate free fariables from all called functions.    /** `asFunction' applied to the next enclosing function or class owner.
      */
     static Symbol enclFun(Symbol owner) {
 	Symbol sym = owner;
@@ -178,9 +201,12 @@ public class LambdaLift extends OwnerTransformer
 
 	private Type.Map traverseTypeMap = new Type.Map() {
 	    public Type apply(Type tp) {
+		if (global.debug) global.log("traverse " + tp);//debug
 	        switch (tp) {
 		case TypeRef(ThisType(_), Symbol sym, Type[] targs):
-		    if (sym.isLocal() && sym.kind == TYPE && !excluded.contains(sym))
+		    if (isLocal(sym, currentOwner) &&
+			sym.kind == TYPE &&
+			!excluded.contains(sym))
 			markFree(sym, currentOwner);
 		    break;
 		case PolyType(Symbol[] tparams, Type restp):
@@ -196,7 +222,7 @@ public class LambdaLift extends OwnerTransformer
         };
 
 	public Tree transform(Tree tree) {
-	    //if (global.debug) global.debugPrinter.print("free ").print(tree).println().end();//DEBUG
+	    if (global.debug) global.log("free " + tree);//debug
 	    assert tree.type != null : tree;
 	    traverseTypeMap.apply(tree.type.widen());
 	    Symbol sym = tree.symbol();
@@ -227,7 +253,7 @@ public class LambdaLift extends OwnerTransformer
 		    transform(rhs, currentOwner));
 
 	    case Ident(_):
-		if (sym.isLocal()) {
+		if (isLocal(sym, currentOwner)) {
 		    if (sym.isMethod()) {
 			Symbol f = enclFun(currentOwner);
 			if (f.name.length() > 0) // it is not a template function {
@@ -435,7 +461,7 @@ public class LambdaLift extends OwnerTransformer
 
 	case Ident(Name name):
 	    Symbol sym = tree.symbol();
-	    if (sym.isLocal() &&
+	    if (isLocal(sym, currentOwner) &&
 		(sym.kind == TYPE || (sym.kind == VAL && !sym.isMethod()))) {
 		sym = descr.proxy(sym, currentOwner);
 	    }
diff --git a/sources/scalac/transformer/LambdaLiftPhase.java b/sources/scalac/transformer/LambdaLiftPhase.java
index efe623a727..eb3bb40d04 100644
--- a/sources/scalac/transformer/LambdaLiftPhase.java
+++ b/sources/scalac/transformer/LambdaLiftPhase.java
@@ -96,7 +96,7 @@ public class LambdaLiftPhase extends Phase implements Kinds, Modifiers {
                             }
                             return Type.TypeRef(pre, sym, targs1);
                         }
-                    } else if (sym.isLocal()) {
+                    } else if (LambdaLift.isLocal(sym, owner)) {
                         assert targs.length == 0;
                         return proxy(sym, owner).type();
                     }
diff --git a/sources/scalac/transformer/OwnerTransformer.java b/sources/scalac/transformer/OwnerTransformer.java
index bb7ab098c7..7a6663f613 100644
--- a/sources/scalac/transformer/OwnerTransformer.java
+++ b/sources/scalac/transformer/OwnerTransformer.java
@@ -101,14 +101,14 @@ public class OwnerTransformer extends Transformer {
 		tree, symbol,
 		transform(tparams, symbol.primaryConstructor()),
 		transform(vparams, symbol.primaryConstructor()),
-		transform(tpe),
+		transform(tpe, symbol),
 		transform(impl, symbol));
 
 	case ModuleDef(_, _, Tree tpe, Template impl):
             Symbol symbol = tree.symbol();
 	    return copy.ModuleDef(
 		tree, symbol,
-                transform(tpe),
+                transform(tpe, symbol),
 		transform(impl, symbol.moduleClass()));
 
 	case DefDef(_, _, AbsTypeDef[] tparams, ValDef[][] vparams, Tree tpe, Tree rhs):
diff --git a/sources/scalac/transformer/matching/PatternMatcher.java b/sources/scalac/transformer/matching/PatternMatcher.java
index 2d644ab11b..ecdcc938cf 100644
--- a/sources/scalac/transformer/matching/PatternMatcher.java
+++ b/sources/scalac/transformer/matching/PatternMatcher.java
@@ -441,7 +441,16 @@ public class PatternMatcher extends PatternTool {
         if (curHeader == null) {
             assert index >= 0 : casted;
             if (casted.pos == Position.FIRSTPOS) {
-                Symbol atSym = casted.type().lookup(APPLY_N);
+                //Symbol atSym = casted.type().lookup(APPLY_N);
+		Tree t =
+		    gen.Apply(
+			gen.Select(
+			    gen.Ident(pat.pos, casted),
+			    casted.lookup(APPLY_N)),
+			new Tree[]{gen.mkIntLit(pat.pos, index)});
+		Type seqType = t.type;
+/*
+		    atSym);
                 Type seqType = casted.type().baseType(defs.SEQ_CLASS).typeArgs()[0];
                 Tree t = make.Select(
                             pat.pos,
@@ -468,6 +477,7 @@ public class PatternMatcher extends PatternTool {
                                         .setType(defs.INT_TYPE)
                                 }).setType(seqType);
                 }
+*/
                 target.and = curHeader = mk.Header(pat.pos, seqType, t);
             } else {
                 Symbol ts = ((ClassSymbol) casted.type().symbol())