[isabelle-dev] Isabelle/jEdit errors

[Tobias Nipkow]

I have the same problem now. I addition, Imperative_HOL no longer builds for me:

*** Code check failed for Scala: env JAVA_OPTS='-Xms128m -Xmx512m -Xss2m'
"$SCALA_HOME/bin/scalac" ROOT.scala
*** At command "export_code" (line 662 of
"~~/src/HOL/Imperative_HOL/ex/Imperative_Quicksort.thy")

Do I need to update my scala version?

Tobias

Am 05/06/2012 11:29, schrieb Lawrence Paulson:
> I've probably overlooked something. Where is the current version kept?
> Larry
> 
> ### Building Isabelle/jEdit ...
> src/scala_console.scala:21: error: IMain is not a member of scala.tools.nsc.interpreter
> import scala.tools.nsc.interpreter.IMain
>        ^
> src/scala_console.scala:43: error: not found: type IMain
>   private var interpreters = Map[Console, IMain]()
>                                           ^
> src/scala_console.scala:107: error: not found: type IMain
>     val interp = new IMain(settings, new PrintWriter(console_writer, true))
>                      ^
> src/scala_console.scala:111: error: value setContextClassLoader is not a member of AnyRef{def parentClassLoader: org.gjt.sp.jedit.JARClassLoader}
>     interp.setContextClassLoader
>            ^
> src/scala_console.scala:112: error: value bind is not a member of AnyRef{def parentClassLoader: org.gjt.sp.jedit.JARClassLoader}
>     interp.bind("view", "org.gjt.sp.jedit.View", console.getView)
>            ^
> src/scala_console.scala:113: error: value bind is not a member of AnyRef{def parentClassLoader: org.gjt.sp.jedit.JARClassLoader}
>     interp.bind("console", "console.Console", console)
>            ^
> src/scala_console.scala:114: error: value interpret is not a member of AnyRef{def parentClassLoader: org.gjt.sp.jedit.JARClassLoader}
>     interp.interpret("import isabelle.jedit.Isabelle")
>            ^
> 7 errors found
> Failed to compile sources
> 
> [2]+  Exit 2                  isabelle jedit SyntaxN.thy
> ~/isabelle/hfinite/Incompleteness: 
> 
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev