diff options
author | Som Snytt <som.snytt@gmail.com> | 2013-08-21 04:34:07 -0700 |
---|---|---|
committer | Som Snytt <som.snytt@gmail.com> | 2013-08-21 18:02:46 -0700 |
commit | 5edf50dd5f50d921311795dc614c3c25425c783a (patch) | |
tree | ce9c3556354b9ae9f837746df752028b0fa1375c /src | |
parent | 1683c95e159006d40a8458d29ef266ca741752c7 (diff) | |
download | scala-5edf50dd5f50d921311795dc614c3c25425c783a.tar.gz scala-5edf50dd5f50d921311795dc614c3c25425c783a.tar.bz2 scala-5edf50dd5f50d921311795dc614c3c25425c783a.zip |
SI-7622 Scaladoc and error message polish
Restores the verbiage "run right after".
Diffstat (limited to 'src')
-rw-r--r-- | src/compiler/scala/tools/nsc/Global.scala | 9 | ||||
-rw-r--r-- | src/compiler/scala/tools/nsc/PhaseAssembly.scala | 2 |
2 files changed, 10 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/Global.scala b/src/compiler/scala/tools/nsc/Global.scala index 3c8a4faa7d..4e750792cb 100644 --- a/src/compiler/scala/tools/nsc/Global.scala +++ b/src/compiler/scala/tools/nsc/Global.scala @@ -763,6 +763,15 @@ class Global(var currentSettings: Settings, var reporter: Reporter) phaseHelp("new flags", elliptically = false, fmt) } + /** Emit a verbose phase table. + * The table includes the phase id in the current assembly, + * or "oo" to indicate a skipped phase, or "xx" to indicate + * a disabled phase. + * + * @param title descriptive header + * @param elliptically whether to truncate the description with an ellipsis (...) + * @param describe how to describe a component + */ def phaseHelp(title: String, elliptically: Boolean, describe: SubComponent => String) = { val Limit = 16 // phase names should not be absurdly long val MaxCol = 80 // because some of us edit on green screens diff --git a/src/compiler/scala/tools/nsc/PhaseAssembly.scala b/src/compiler/scala/tools/nsc/PhaseAssembly.scala index 45502a19d6..996f6efe55 100644 --- a/src/compiler/scala/tools/nsc/PhaseAssembly.scala +++ b/src/compiler/scala/tools/nsc/PhaseAssembly.scala @@ -150,7 +150,7 @@ trait PhaseAssembly { } else if (sanity.length > 1) { dump("phase-order") val following = (sanity map (_.frm.phasename)).sorted mkString "," - throw new FatalError(s"Phase ${sanity.head.to.phasename} has too many followers: $following; created phase-order.dot") + throw new FatalError(s"Multiple phases want to run right after ${sanity.head.to.phasename}; followers: $following; created phase-order.dot") } else { val promote = hl.to.before.filter(e => (!e.hard)) |