diff options
author | Martin Odersky <odersky@gmail.com> | 2007-12-19 11:10:01 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2007-12-19 11:10:01 +0000 |
commit | 74dc1a845361a7cbfac93e1936f6487e9ae69283 (patch) | |
tree | 05cb887cdfca51d9b82f25ec8e301b6d7cdf7050 | |
parent | 2ed9387915c9b813907c811ff889a056333d2ded (diff) | |
download | scala-74dc1a845361a7cbfac93e1936f6487e9ae69283.tar.gz scala-74dc1a845361a7cbfac93e1936f6487e9ae69283.tar.bz2 scala-74dc1a845361a7cbfac93e1936f6487e9ae69283.zip |
fixes to make dual mode build pass
-rw-r--r-- | src/manual/scala/tools/docutil/EmitHtml.scala | 3 | ||||
-rw-r--r-- | src/manual/scala/tools/docutil/EmitManPage.scala | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/src/manual/scala/tools/docutil/EmitHtml.scala b/src/manual/scala/tools/docutil/EmitHtml.scala index 700f8bf981..7db4523696 100644 --- a/src/manual/scala/tools/docutil/EmitHtml.scala +++ b/src/manual/scala/tools/docutil/EmitHtml.scala @@ -342,10 +342,11 @@ object EmitHtml { System.err.println("usage: EmitHtml <classname>") exit(1) } + type AnyClass = Class[_] try { val cl = this.getClass.getClassLoader() val clasz = cl.loadClass(args(0)) - val meth = clasz.getDeclaredMethod("manpage", Array[Class]()) + val meth = clasz.getDeclaredMethod("manpage", Array[AnyClass]()) val doc = meth.invoke(null, Array[Object]()).asInstanceOf[Document] emitDocument(doc) } catch { diff --git a/src/manual/scala/tools/docutil/EmitManPage.scala b/src/manual/scala/tools/docutil/EmitManPage.scala index bb01dd0213..72ed289b1c 100644 --- a/src/manual/scala/tools/docutil/EmitManPage.scala +++ b/src/manual/scala/tools/docutil/EmitManPage.scala @@ -166,7 +166,8 @@ object EmitManPage { try { val cl = this.getClass.getClassLoader() val clasz = cl.loadClass(args(0)) - val meth = clasz.getDeclaredMethod("manpage", Array[Class]()) + type AnyClass = Class[_] + val meth = clasz.getDeclaredMethod("manpage", Array[AnyClass]()) val doc = meth.invoke(null, Array[Object]()).asInstanceOf[Document] emitDocument(doc) } catch { |