On Wed, 9 May 2007, Guido Tack wrote:
> 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?
This looks much better -- it is after the crash point. The above problem
is now due to the lack of proper runtime compilation. I'll need to look
again into the Compiler structure of Alice.
Note that my attempt to disable j-i-t compilation was by
./configure --disable-lightning
Makarius
_______________________________________________
alice-users mailing list
[email protected]
http://www.ps.uni-sb.de/mailman/listinfo/alice-users
