MLton 20070826 ImplementSuffix
Home  Index  
ImplementSuffix is a pass for the SXML IntermediateLanguage, invoked from SXMLSimplify.

Description

This pass implements the TopLevel_setSuffix primitive, which installs a function to exit the program.

Implementation

[WWW]implement-suffix.sig [WWW]implement-suffix.fun

Details and Notes

ImplementSuffix works by introducing a new ref cell to contain the function of type unit -> unit that should be called on program exit.


Last edited on 2006-11-02 17:53:06 by MatthewFluet.