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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
