On 12/06/17 21:15, Florian Haftmann wrote:
> Am 11.06.2017 um 09:01 schrieb Florian Haftmann:
>>> It definitely looks like scala-2.12.2 causes non-termination, e.g. of
>>> src/HOL/Codegenerator_Test/Generate.thy -- I have opened that file in
>>> isabelle jedit and waited for approx. 30min; a batch
> The scalac part should be OK. The problem is the scala part, i.e. actual
> runtime -- presumably the run_cmd here:
> http://isabelle.in.tum.de/repos/isabelle/annotate/20304512a33b/src/HOL/Library/code_test.ML#l562
>
> I've just made a quick test of HOL-Codegenerator_Test on lxbroy10: it
> leads
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.sca
On 19/06/17 14:16, Makarius wrote:
> On 19/06/17 13:38, Lars Hupel wrote:
>
>> - 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