[isabelle-dev] scala-2.12.2

[Makarius]

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
>> $ISABELLE_SCALAC_OPTIONS ROOT.scala
>> *** 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 ...


	Makarius