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.
Inorder to achieve incremental compilation, particularly with alice's
implementation of "use", I have been trying out the following:
The idea is: Use the environment as an accumulator, with
Compiler.initialEnv as the starting point. And incorporate it into a
new definition of "use".
This can be packed as a component and imported at the top-level.
Will this override the original implementation of "use"??
Does anyone have any further thoughts on if something like this will work?
Also, in my experiment with
Making & importing the component was fine. But if I try to invoke "use"
subsequently, i face the following error:
"Internal exception...while linking..."
Here is a simple example(not the "use" one)
====================
(*a-recursiveEnv.ml*)
val a = 26;
print (" " ^ Int.toString(a) ^ " ");
(*b-recursiveEnv.ml *)
val b = a+1;
print (" " ^ Int.toString(b) ^ " ");
(*main-recursiveEnv.ml *)
import structure Compiler from "x-alice:/lib/system/Compiler";
import signature COMPILER from "x-alice:/lib/system/COMPILER-sig";
val (env, _) = Compiler.evalFileWith (Compiler.initialEnv,
"a-recursiveEnv.ml");
val (env, _) = Compiler.evalFileWith (env, "b-recursiveEnv.ml");
====================
Quoting [EMAIL PROTECTED]:
Send alice-users mailing list submissions to
[email protected]
To subscribe or unsubscribe via the World Wide Web, visit
http://www.ps.uni-sb.de/mailman/listinfo/alice-users
or, via email, send a message with subject or body 'help' to
[EMAIL PROTECTED]
You can reach the person managing the list at
[EMAIL PROTECTED]
When replying, please edit your Subject line so it is more specific
than "Re: Contents of alice-users digest..."
Today's Topics:
1. Re: Isabelle and Alice (Guido Tack)
2. Re: Isabelle and Alice (Makarius)
----------------------------------------------------------------------
Message: 1
Date: Wed, 9 May 2007 14:32:40 +0200
From: Guido Tack <[EMAIL PROTECTED]>
Subject: Re: [Alice-users] Isabelle and Alice
To: Makarius <[EMAIL PROTECTED]>
Cc: [email protected]
Message-ID: <[EMAIL PROTECTED]>
Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed
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
------------------------------
Message: 2
Date: Wed, 9 May 2007 14:56:21 +0200 (CEST)
From: Makarius <[EMAIL PROTECTED]>
Subject: Re: [Alice-users] Isabelle and Alice
To: Guido Tack <[EMAIL PROTECTED]>
Cc: [email protected]
Message-ID:
<[EMAIL PROTECTED]>
Content-Type: TEXT/PLAIN; charset=US-ASCII
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
End of alice-users Digest, Vol 37, Issue 6
******************************************
_______________________________________________
alice-users mailing list
[email protected]
http://www.ps.uni-sb.de/mailman/listinfo/alice-users
