- Added method singleTypeMethod

1 files changed, 21 insertions, 0 deletions

diff --git a/sources/scalac/symtab/Type.java b/sources/scalac/symtab/Type.java
index 08b2124640..c2b88fdf70 100644
--- a/sources/scalac/symtab/Type.java
+++ b/sources/scalac/symtab/Type.java
@@ -136,6 +136,27 @@ public class Type implements Modifiers, Kinds, TypeTags, EntryTags {
 	}
     }
 
+    public static Type singleTypeMethod(Type pre, Symbol sym) {
+        Global global = Global.instance;
+        if (global.currentPhase.id <= global.PHASE.UNCURRY.id())
+	    return singleType(pre, sym);
+        else if (global.currentPhase.id <= global.PHASE.ERASURE.id())
+            return sym.type().singleTypeMethod0(pre, sym);
+        else
+            return pre.memberType(sym);
+    }
+
+    private Type singleTypeMethod0(Type pre, Symbol sym) {
+        switch (this) {
+        case PolyType(Symbol[] args, Type result):
+            return PolyType(args, result.singleTypeMethod0(pre, sym));
+        case MethodType(Symbol[] args, Type result):
+            return MethodType(args, result.singleTypeMethod0(pre, sym));
+        default:
+	    return singleType(pre, sym);
+        }
+    }
+
     public static TypeRef appliedType(Type tycon, Type[] args) {
 	switch (tycon) {
 	case TypeRef(Type pre, Symbol sym, Type[] args1):