diff options
author | ilyas <ilyas@epfl.ch> | 2010-03-26 16:07:39 +0000 |
---|---|---|
committer | ilyas <ilyas@epfl.ch> | 2010-03-26 16:07:39 +0000 |
commit | 323057ba4ea7190d85066fc728f81ce2847cd755 (patch) | |
tree | 8dc9eb1eb9f80248b95906d0c5e725e211eff91e /src | |
parent | 73dfbd2fb0582ac19ad6bdb56e8f427baba36797 (diff) | |
download | scala-323057ba4ea7190d85066fc728f81ce2847cd755.tar.gz scala-323057ba4ea7190d85066fc728f81ce2847cd755.tar.bz2 scala-323057ba4ea7190d85066fc728f81ce2847cd755.zip |
some output polishing
Diffstat (limited to 'src')
-rw-r--r-- | src/scalap/scala/tools/scalap/scalax/rules/scalasig/ScalaSigPrinter.scala | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/src/scalap/scala/tools/scalap/scalax/rules/scalasig/ScalaSigPrinter.scala b/src/scalap/scala/tools/scalap/scalax/rules/scalasig/ScalaSigPrinter.scala index 80f2d01184..31bbfa16af 100644 --- a/src/scalap/scala/tools/scalap/scalax/rules/scalasig/ScalaSigPrinter.scala +++ b/src/scalap/scala/tools/scalap/scalax/rules/scalasig/ScalaSigPrinter.scala @@ -286,9 +286,13 @@ class ScalaSigPrinter(stream: PrintStream, printPrivates: Boolean) { val buffer = new StringBuffer buffer.append(toString(attrib.typeRef, "@")) if (attrib.value.isDefined) { - buffer.append("(\"") - buffer.append(valueToString(attrib.value.get)) - buffer.append("\")") + buffer.append("(") + val value = attrib.value.get + val stringVal = value.isInstanceOf[String] + if (stringVal) buffer.append("\"") + buffer.append(valueToString(value)) + if (stringVal) buffer.append("\"") + buffer.append(")") } if (!attrib.values.isEmpty) { buffer.append(" {") |