diff options
author | Martin Odersky <odersky@gmail.com> | 2003-09-02 12:57:45 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2003-09-02 12:57:45 +0000 |
commit | ec46a90f5cd17d5ed506201bdc0b0a55324dffae (patch) | |
tree | db322d9b07f1a8ae3417d757a22549039293e9fc /sources/scalac/symtab/Type.java | |
parent | 3228df8eafa7a70792615356042b427595999b26 (diff) | |
download | scala-ec46a90f5cd17d5ed506201bdc0b0a55324dffae.tar.gz scala-ec46a90f5cd17d5ed506201bdc0b0a55324dffae.tar.bz2 scala-ec46a90f5cd17d5ed506201bdc0b0a55324dffae.zip |
*** empty log message ***
Diffstat (limited to 'sources/scalac/symtab/Type.java')
-rw-r--r-- | sources/scalac/symtab/Type.java | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/sources/scalac/symtab/Type.java b/sources/scalac/symtab/Type.java index 339c09b38a..21fdf32917 100644 --- a/sources/scalac/symtab/Type.java +++ b/sources/scalac/symtab/Type.java @@ -1447,7 +1447,7 @@ public class Type implements Modifiers, Kinds, TypeTags, EntryTags { for (int i = 0; i < ps.length; i++) { Symbol p1 = ps1[i]; Symbol p = ps[i]; - if (!p1.type().isSubType(p.type()) || + if (!p1.type().isSameAs(p.type()) || (p1.flags & (Modifiers.DEF | Modifiers.REPEATED)) != (p.flags & (Modifiers.DEF | Modifiers.REPEATED))) return false; @@ -1461,8 +1461,8 @@ public class Type implements Modifiers, Kinds, TypeTags, EntryTags { case PolyType(Symbol[] ps, Type res): if (ps.length != ps1.length) return false; for (int i = 0; i < ps.length; i++) - if (!ps1[i].info().subst(ps1, ps).isSubType(ps[i].info()) || - !ps[i].loBound().isSubType(ps1[i].loBound().subst(ps1, ps))) + if (!ps1[i].info().subst(ps1, ps).isSameAs(ps[i].info()) || + !ps[i].loBound().isSameAs(ps1[i].loBound().subst(ps1, ps))) return false; return res.isSubType(res1.subst(ps1, ps)); } |