InternalError exceptions are assertions within the compiler. I would
expect them to be deterministic unlike assertions in the GC which depend
a lot on timing of threads. It should be possible to get to the bottom
of this if I'm able to get the ML code that is causing the problem. I
On Mon, 3 Mar 2014, David Matthews wrote:
InternalError exceptions are assertions within the compiler. I would
expect them to be deterministic unlike assertions in the GC which depend
a lot on timing of threads. It should be possible to get to the bottom
of this if I'm able to get the ML
On Mon, 3 Mar 2014, Makarius wrote:
(1) short version (Isabelle/Pure bootstrap):
http://isabelle.in.tum.de/repos/isabelle/file/Isabelle2013-2/src/Pure/ML-Systems/compiler_polyml.ML#l40
(2) long version (full Isabelle/ML managed compilation with IDE markup)
I seem to be able to pretty reliably produce the following:
Exception- InternalError: indirect - invalid constant address raised while
compiling
Exception- InternalError: indirect - invalid constant address raised while
compiling
Unfortunately, it takes hours to get there...
Switching to