diff options
| author | paltherr <paltherr@epfl.ch> | 2003-06-12 06:24:12 +0000 |
|---|---|---|
| committer | paltherr <paltherr@epfl.ch> | 2003-06-12 06:24:12 +0000 |
| commit | e06aeaebbd4a8e8017cee946e406fb7fb692cedd (patch) | |
| tree | 9a4725106ebad57c3a485401e88f27aec35b0c9c | |
| parent | ada273a1ca4b8005b04a3fac370b8e9c376a8aa3 (diff) | |
| download | scala-e06aeaebbd4a8e8017cee946e406fb7fb692cedd.tar.gz scala-e06aeaebbd4a8e8017cee946e406fb7fb692cedd.tar.bz2 scala-e06aeaebbd4a8e8017cee946e406fb7fb692cedd.zip | |
- Removed old unused code
| -rw-r--r-- | sources/scalac/Global.java | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/sources/scalac/Global.java b/sources/scalac/Global.java index c74421f6a0..87b2d67eb6 100644 --- a/sources/scalac/Global.java +++ b/sources/scalac/Global.java @@ -443,15 +443,6 @@ public class Global { return new SymbolTablePrinter(" ").printType(type).toString(); } - /* - private StringBuffer appendPrefix(StringBuffer buffer, Type prefix) { - if (prefix.isSameAs(definitions.ROOT_TYPE)) return buffer; - if (prefix.isSameAs(definitions.SCALA_TYPE)) return buffer; - if (prefix.symbol().name.startsWith(CONSOLE_N)) return buffer; - return append(buffer, prefix).append('.'); - } - */ - // !!! >>> Interpreter stuff /** stop the compilation process immediately |