[isabelle-dev] scala-2.12.2

Lars Hupel hupel at in.tum.de
Thu Jun 22 14:10:12 CEST 2017

> a "StackOverflowError" (in the patmat phase), before I even got a chance
> at running this

I have investigated this now. It is a regression from Scala 2.11.x to
Scala 2.12.x.

The offending function is "integer_of_char", which performs a 256-way
pattern matching. Maybe this should be implemented differently.

In any case, I have filed this as a bug:



More information about the isabelle-dev mailing list