Poly/ML December 2002

polyml@lists.polyml.org

3 participants
2 discussions

Handling Interrupts
by Frank Pfenning 31 Dec '02

31 Dec '02

Along similar lines: I have a Twelf top-level function in server that should interrupt the current computation and return to the Twelf top-level, not to an ML debugger or the ML top-level. I saw the documentation on signals, but I don't see how to achieve the desired effect because the handler will be run in a different thread. Any advice or help would be appreciated. - Frank

3 5

Poly/ML -- Exporting stand-alone applications
by Frank Pfenning 20 Dec '02

20 Dec '02

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(a)cs.cmu.edu Pittsburgh, PA 15213-3891, U.S.A. URL: http://www.cs.cmu.edu/~fp/ ----------------------------------------------------------------------

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

Poly/ML December 2002