Hi.
Makarius wrote:
Now that Alice 1.4 has been released, we continue our efforts to make
Isabelle work with it. The static part of Isabelle/Pure now
essentially
compiles, and works -- a little bit. Alice produces a core dump just
after bootstrapping most of the system.
Note that the problem occurs on x86 Linux and Mac OS uniformly.
I've also
tried a version without just-in-time compilation, which crashes at the
same position, albeit more slowly.
I can reproduce the problem here with ALICE_JIT_MODE=2, however, with
ALICE_JIT_MODE=0 (jit compilation switched off), I get an error:
1.0-1.10: unknown structure or functor `ML_Context'
*** Error
*** At command "parse_translation" (line 34 of "/home/tack/Isabelle-
alice/Pure.thy").
Uncaught exception
TOPLEVEL_ERROR
Is this before or after the system should have crashed?
Cheers,
Guido
--
Guido Tack
Programming Systems Lab, Saarland University, Germany
http://www.ps.uni-sb.de/~tack
_______________________________________________
alice-users mailing list
[email protected]
http://www.ps.uni-sb.de/mailman/listinfo/alice-users
