> 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: <https://github.com/scala/bug/issues/10387> Cheers Lars _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev