summaryrefslogtreecommitdiff
path: root/sources/scalac/symtab/Type.java
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2004-07-08 10:28:37 +0000
committerMartin Odersky <odersky@gmail.com>2004-07-08 10:28:37 +0000
commitce3243d0a453d706dd9b6038b3bee92f4264903c (patch)
treec3e2d4551e5998f9feeb1ac0c9b59e52935c7484 /sources/scalac/symtab/Type.java
parentbc7e8ae564e604d082ff0cf0a8b9de2fda4c89b6 (diff)
downloadscala-ce3243d0a453d706dd9b6038b3bee92f4264903c.tar.gz
scala-ce3243d0a453d706dd9b6038b3bee92f4264903c.tar.bz2
scala-ce3243d0a453d706dd9b6038b3bee92f4264903c.zip
*** empty log message ***
Diffstat (limited to 'sources/scalac/symtab/Type.java')
-rw-r--r--sources/scalac/symtab/Type.java4
1 files changed, 3 insertions, 1 deletions
diff --git a/sources/scalac/symtab/Type.java b/sources/scalac/symtab/Type.java
index 65bb56a73a..f0ebe88b1e 100644
--- a/sources/scalac/symtab/Type.java
+++ b/sources/scalac/symtab/Type.java
@@ -2076,7 +2076,8 @@ public class Type implements Modifiers, Kinds, TypeTags, EntryTags {
/** Does this type implement all symbols in scope `s' with same or stronger types?
*/
public boolean specializes(Scope s) {
- for (Scope.SymbolIterator it = s.iterator(true); it.hasNext();) {
+ for (Scope.SymbolIterator it = s.iterator();
+ it.hasNext();) {
if (!specializes(it.next())) return false;
}
return true;
@@ -2309,6 +2310,7 @@ public class Type implements Modifiers, Kinds, TypeTags, EntryTags {
private boolean isSubScope(Scope s1, Scope s2) {
for (Scope.SymbolIterator it = s2.iterator(); it.hasNext(); ) {
Symbol sym2 = it.next();
+ // todo: handle overloaded
Symbol sym1 = s1.lookup(sym2.name);
if (sym1.kind != sym2.kind ||
!sym1.info().isSameAs(