diff options
| author | paltherr <paltherr@epfl.ch> | 2003-10-27 08:24:35 +0000 |
|---|---|---|
| committer | paltherr <paltherr@epfl.ch> | 2003-10-27 08:24:35 +0000 |
| commit | ca4f0683b1d9a9103ff8f1a1f7b3e0f681b9e6d2 (patch) | |
| tree | 9051d758896b115e9eb31f129212226b5aca6b72 /sources | |
| parent | c3dd593e0d28458e838008c3a8311c9994f3f8a2 (diff) | |
| download | scala-ca4f0683b1d9a9103ff8f1a1f7b3e0f681b9e6d2.tar.gz scala-ca4f0683b1d9a9103ff8f1a1f7b3e0f681b9e6d2.tar.bz2 scala-ca4f0683b1d9a9103ff8f1a1f7b3e0f681b9e6d2.zip | |
- Improved debug message
- Fixed Relation.toString
Diffstat (limited to 'sources')
| -rw-r--r-- | sources/scalac/symtab/Type.java | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/sources/scalac/symtab/Type.java b/sources/scalac/symtab/Type.java index 578aeb3451..3d97355a2b 100644 --- a/sources/scalac/symtab/Type.java +++ b/sources/scalac/symtab/Type.java @@ -756,7 +756,7 @@ public class Type implements Modifiers, Kinds, TypeTags, EntryTags { default: if (sym1type.compareTo(symtype, relation)) return sym1; else { - if (Global.instance.debug) System.out.println(sym1 + sym1.locationString() + " is not" + relation + "to " + sym + sym.locationString() + " in " + pre + ", since " + sym1type + relation.toString(true) + symtype);//DEBUG + if (Global.instance.debug) System.out.println(sym1 + sym1.locationString() + " is not" + relation + "to " + sym + sym.locationString() + " as seen from " + pre + ", since " + sym1type + relation.toString(true) + symtype);//DEBUG return Symbol.NONE; } } @@ -1603,9 +1603,9 @@ public class Type implements Modifiers, Kinds, TypeTags, EntryTags { } public String toString(boolean negate) { switch (this) { - case SubType : return negate ? " <= " : " !<= "; - case SameType : return negate ? " == " : " != "; - case SuperType: return negate ? " >= " : " !>= "; + case SubType : return negate ? " !<= " : " <= "; + case SameType : return negate ? " !== " : " = "; + case SuperType: return negate ? " !>= " : " >= "; default : throw Debug.abort("unknown relation", this); } } |