Aladdin - Scala Bugtracking
[#239] project: scala-doc priority: high category: bug
submitter assigned to status date submitted
Burak Vincent fixed 2003-11-27 12:35:03.0
subject cannot handle operators
code 
abstract case class %(s:Symbol,ns:Seq[scala.xml.Node])
   extends scala.xml.nobinding.Element(s,ns) { }
what happened 
/tmp> scaladoc \$percent.scala 
Exception in thread "main" scalac.ApplicationError
	at scalac.util.Debug.abort(Debug.java:54)
	at scala.tools.scaladoc.DocModule.apply(DocModule.java:125)
	at scala.tools.scaladoc.HTMLGeneratorPhase.apply(HTMLGeneratorPhase.java:46)
	at scalac.Global.compile(Global.java:300)
	at scalac.Global.compile(Global.java:272)
	at scala.tools.scaladoc.Main$.main(sources/scala/tools/scaladoc/Main.scala:34)
	at scala.tools.scaladoc.Main.main(sources/scala/tools/scaladoc/Main.scala)
Caused by: java.lang.reflect.InvocationTargetException
	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
	at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
	at java.lang.reflect.Method.invoke(Method.java:324)
	at scala.tools.scaladoc.DocModule.apply(DocModule.java:123)
	... 5 more
Caused by: scalac.ApplicationError: class % extends scala.xml.nobinding.Element { val s$: scala.Symbol,  def s: \
scala.Symbol,  val ns$: scala.Seq[scala.xml.Node],  def ns: scala.Seq[scala.xml.Node] }
	at scalac.util.Debug.abort(Debug.java:46)
	at scala.tools.scaladoc.Location.getURI(Location.java:49)
	at scala.tools.scaladoc.Location.get(Location.java:32)
	at scala.tools.scaladoc.HTMLGenerator.definitionURL(HTMLGenerator.java:252)
	at scala.tools.scaladoc.HTMLGenerator.addSymbolTable(HTMLGenerator.java:954)
	at scala.tools.scaladoc.HTMLGenerator.createContainerIndexPage(HTMLGenerator.java:1014)
	at scala.tools.scaladoc.HTMLGenerator$0.apply(HTMLGenerator.java:320)
	at scala.tools.scaladoc.ScalaSearch.foreach(ScalaSearch.java:142)
	at scala.tools.scaladoc.HTMLGenerator.apply(HTMLGenerator.java:314)
	at scala.tools.scaladoc.HTMLGenerator.apply(HTMLGenerator.java:347)
	at scala.tools.scaladoc.StandardDocModule.apply(StandardDocModule.java:42)
	at scala.tools.scaladoc.StandardDocModule.apply(StandardDocModule.java:52)
	... 10 more
what expected execution without error
[back to overview]
Changes of this bug report
Vincent  edited on  2004-01-09 17:12:37.0
I fixed the bug by using the encoding name of symbols for the web page names.