This crash happens in Isabelle/38466f4f3483, e.g. on Mac OS X:
HOL-Codegenerator_Test FAILED
(see also
/Volumes/Macintosh_HD/Users/makarius/.isabelle/heaps/polyml-5.5.1_x86-darwin/log/HOL-Codegenerator_Test)
ROOT.scala:696: warning: Class Generated_Code$Pattern differs only in case
from Generated_Code$pattern. Such classes will overwrite one another on
case-insensitive filesystems.
final case class Pattern() extends pattern
...
*** Code check failed for SML: "$ISABELLE_PROCESS" -r -q -e 'datatype ref
= datatype Unsynchronized.ref; use "ROOT.ML" handle _ => exit 1' Pure
*** At command "export_code" (line 19 of
"~~/src/HOL/Codegenerator_Test/Generate_Pretty_Char.thy")
Unfinished session(s): HOL-Codegenerator_Test
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev