[isabelle-dev] scala-2.12.2

Makarius makarius at sketis.net
Mon Jun 19 14:16:01 CEST 2017

On 19/06/17 13:38, Lars Hupel wrote:
>> I've just made a quick test of HOL-Codegenerator_Test on lxbroy10: it
>> leads to a very long running java process. Killing that produces the
>> following error:
>> *** Code check failed for Scala: isabelle_scala scalac
>> *** At command "export_code" (line 18 of
>> "~~/src/HOL/Codegenerator_Test/Generate.thy")
> Very curious, for multiple reasons:
> - the code check error message explicitly talks about "scalac"

I would say that misleading error messages are quite normal.

> - I just unpacked the attachment you sent and, with scalac 2.12.2 I get
> a "StackOverflowError" (in the patmat phase), before I even got a chance
> at running this

I have started to experiment with that, and ran into a confusion of
SCALA_HOME. Maybe this is the actual cause of the problem. I will
investigate further ...


More information about the isabelle-dev mailing list