Hi there, I am new to lisp in general. By accident and because it works well with the archaic theorem prover nqthm, I chose ECL.
I have an 1500 line long nqthm proof script that I need to evaluate on every start. I look for a function that saves the state of the compiler after this evaluation so that I can load the image upon startup in seconds. I could not find such a function here: http://ecls.sourceforge.net/new-manual/ I thought that ECL has this feature as Standard ML of New Jersey has it: "Exporting Heaps" http://www.cs.cmu.edu/afs/cs/local/sml/common/smlguide/smlnj.htm#export How can I do this in ECL? - Gergely ------------------------------------------------------------------------------ Want fast and easy access to all the code in your enterprise? Index and search up to 200,000 lines of code with a free copy of Black Duck Code Sight - the same software that powers the world's largest code search on Ohloh, the Black Duck Open Hub! Try it now. http://p.sf.net/sfu/bds _______________________________________________ Ecls-list mailing list Ecls-list@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/ecls-list
