[polyml] Poly/ML -- Exporting stand-alone applications

I have ported the Twelf logical framework implementation from SML/NJ to Poly/ML. The changes were significant, because Twelf was not SML'97 standards compliant as far as its uses of module features are concerned. The only other change had to do with the absence of a Word32 structure in Poly/ML.

Now I would like to export a standalone Twelf server. Usually, this is run as an inferior process to Emacs and should not carry the ML compiler, for example. The FAQ gives a method to achieve this (sort of) using PolyML.onEntry. Has there been any progress on making it possible to export stand-along executables?

Thanks, - Frank

---------------------------------------------------------------------- Frank Pfenning Phone: +1 412 268-6343 Department of Computer Science Fax: +1 412 268-3608 Carnegie Mellon University Email: fp@cs.cmu.edu Pittsburgh, PA 15213-3891, U.S.A. URL: http://www.cs.cmu.edu/~fp/ ----------------------------------------------------------------------