> 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
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:
isabelle-dev mailing list