diff options
author | Martin Odersky <odersky@gmail.com> | 2004-07-08 10:28:37 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2004-07-08 10:28:37 +0000 |
commit | ce3243d0a453d706dd9b6038b3bee92f4264903c (patch) | |
tree | c3e2d4551e5998f9feeb1ac0c9b59e52935c7484 /sources/scalac/symtab/Type.java | |
parent | bc7e8ae564e604d082ff0cf0a8b9de2fda4c89b6 (diff) | |
download | scala-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.java | 4 |
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( |