Dear Alice experts,
I am trying to adapt the Isabelle system (http://isabelle.in.tum.de) to
work with Alice (using the current CVS version instead of 1.3, due to
availability of signature includes). After some renaming of identifiers to
avoid clashes with the extra keywords of Alice, I've managed to compile
the static part of Isabelle/Pure.
To make the system really work, we now need a way to invoke the compiler
at runtime within the current toplevel environment, where normal execution
should continue afterwards. Unlike the 'use' command of Alice, which
appears to queue compilation requests to be fulfilled by the Alice
toplevel later, we need more something like EVAL in various versions of
LISP, or a string version of the 'use' of other ML implementations
(notably Poly/ML, SML/NJ, MosML).
After studying the Compiler structure (and further toplevel modules) of
Alice, I am still puzzled how this could work out. On the other hand,
with all the extra dynamic concepts of packages/components/pickles/...
available, I'd be surprised if plain old EVAL would be out of reach.
Makarius
_______________________________________________
alice-users mailing list
[email protected]
http://www.ps.uni-sb.de/mailman/listinfo/alice-users
